Fix bug #444

https://sourceforge.net/p/phppgadmin/bugs/444/

diff --git a/classes/PluginManager.php b/classes/PluginManager.php
index 203808f1edb58d2d565375f6594b6a60fa1418b0..981266e04180d2478c34af5324ca4bc35a786c4a 100644 (file)
--- a/classes/PluginManager.php
+++ b/classes/PluginManager.php
@@ -30,6 +30,8 @@ class PluginManager {
        function __construct($language) {
                global $conf, $lang;
 
+               if (! isset($conf['plugins'])) return;
+
                // Get the activated plugins
                $plugins = $conf['plugins'];