Fix bug #444
authorJehan-Guillaume <jgdr@dalibo.com>
Thu, 17 Apr 2014 17:48:22 +0000 (19:48 +0200)
committerJehan-Guillaume <jgdr@dalibo.com>
Thu, 17 Apr 2014 17:48:22 +0000 (19:48 +0200)
commit5acbcf2c5b54a2293afd2053b8ad1dd7acfe3fd1
tree3d6c880d8237cf4aeafcc5bd126981074a1c2435
parent223c4318c7e3d81552cdac6ae6071b256223d039
Fix bug #444

https://sourceforge.net/p/phppgadmin/bugs/444/
classes/PluginManager.php