Fix bug #444
authorJehan-Guillaume <[email protected]>
Thu, 17 Apr 2014 17:48:22 +0000 (19:48 +0200)
committerRobert Treat <[email protected]>
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