Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 33a545d4b40ff14b7f6ef69190bdcfeb22e39aa6 https://github.com/phpmyadmin/phpmyadmin/commit/33a545d4b40ff14b7f6ef69190bd... Author: Michal Čihař <michal@cihar.com> Date: 2017-07-31 (Mon, 31 Jul 2017) Changed paths: M libraries/plugin_interface.lib.php Log Message: ----------- Use case insentive comparison See #13531 and #13425 Signed-off-by: Michal Čihař <michal@cihar.com>