1 files changed, 4 insertions, 0 deletions

diff --git a/inc/html.inc.php b/inc/html.inc.php
index 20a10ed..3ad2439 100644
--- a/inc/html.inc.php
+++ b/inc/html.inc.php
@@ -58,10 +58,14 @@ EOT;
 }
 
 function plugin_header($host, $plugin) {
+        global $CONFIG;
+
         return printf("<h3><a href='%shost.php?h=%s&p=%s'>%s</a></h3>\n", $CONFIG['weburl'], $host, $plugin, $plugin);
 }
 
 function plugins_list($host, $overview_plugins, $other_plugins, $selected_plugins = array()) {
+        global $CONFIG;
+
         echo '<div class="plugins">';
         echo '<h3>Plugins</h3>';
         echo '<ul>';