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