Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: d26f7e47fbcaf5f52cb4d0ca7bf64bdcfe9a9eb8 https://github.com/phpmyadmin/phpmyadmin/commit/d26f7e47fbcaf5f52cb4d0ca7bf6... Author: William Desportes williamdes@wdes.fr Date: 2018-06-03 (Sun, 03 Jun 2018)
Changed paths: M libraries/classes/ThemeManager.php
Log Message: ----------- Patch for issue #14348
Closes: #14348 Signed-off-by: William Desportes williamdes@wdes.fr
Commit: 586efc56ee4f93705652cd931cd0935176bc8f0c https://github.com/phpmyadmin/phpmyadmin/commit/586efc56ee4f93705652cd931cd0... Author: Maurício Meneghini Fauth mauriciofauth@gmail.com Date: 2018-06-13 (Wed, 13 Jun 2018)
Changed paths: M libraries/classes/ThemeManager.php
Log Message: ----------- Merge pull request #14349 from williamdes/issue-14348
Patch for issue #14348 - $cfg['ThemeDefault'] > unknown theme > Error 500
Compare: https://github.com/phpmyadmin/phpmyadmin/compare/15ec0ca5dd01...586efc56ee4f **NOTE:** This service been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/
Functionality will be removed from GitHub.com on January 31st, 2019.