Branch: refs/heads/master
Home: https://github.com/phpmyadmin/phpmyadmin
Commit: 33a545d4b40ff14b7f6ef69190bdcfeb22e39aa6
https://github.com/phpmyadmin/phpmyadmin/commit/33a545d4b40ff14b7f6ef69190bdcfeb22e39aa6
Author: Michal Čihař <[email protected]>
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ř <[email protected]>
_______________________________________________
Git mailing list
[email protected]
https://lists.phpmyadmin.net/mailman/listinfo/git
