Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 6b7d1d813a76aec3a70bcfd3849154efe6227568 https://github.com/phpmyadmin/phpmyadmin/commit/6b7d1d813a76aec3a70bcfd38491... Author: Dieter Adriaenssens <ruleant@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