[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 33a545: Use case insentive comparison

31 Jul 2017


      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>