Fix bug #444
authorJehan-Guillaume <jgdr@dalibo.com>
Thu, 17 Apr 2014 17:48:22 +0000 (19:48 +0200)
committerRobert Treat <robert@omniti.com>
Mon, 30 Oct 2017 22:31:50 +0000 (18:31 -0400)
commitaa4fb61f7cfd0a76b9ebb7af9b107add6683f410
tree3d6c880d8237cf4aeafcc5bd126981074a1c2435
parent2dec05d328cee8862e8c013dd55fb61e5f3bbd21
Fix bug #444

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