Branch: refs/heads/master
Home:
https://github.com/phpmyadmin/phpmyadmin
Commit: 33a545d4b40ff14b7f6ef69190bdcfeb22e39aa6
https://github.com/phpmyadmin/phpmyadmin/commit/33a545d4b40ff14b7f6ef69190b…
Author: Michal Čihař <michal(a)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(a)cihar.com>