Branch: refs/heads/master
Home:
https://github.com/phpmyadmin/phpmyadmin
Commit: 6b7d1d813a76aec3a70bcfd3849154efe6227568
https://github.com/phpmyadmin/phpmyadmin/commit/6b7d1d813a76aec3a70bcfd3849…
Author: Dieter Adriaenssens <ruleant(a)users.sourceforge.net>
Date: 2013-07-11 (Thu, 11 Jul 2013)
Changed paths:
M libraries/plugins/PluginObserver.class.php
Log Message:
-----------
Fix bug #3625 with a workaround, revert this commit when PMA drops support for PHP 5.3