From 5acbcf2c5b54a2293afd2053b8ad1dd7acfe3fd1 Mon Sep 17 00:00:00 2001 From: Jehan-Guillaume Date: Thu, 17 Apr 2014 19:48:22 +0200 Subject: [PATCH] Fix bug #444 https://sourceforge.net/p/phppgadmin/bugs/444/ --- classes/PluginManager.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/classes/PluginManager.php b/classes/PluginManager.php index 203808f1..981266e0 100644 --- 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']; -- 2.39.5