diff options
Diffstat (limited to '')
-rw-r--r-- | inc/html.inc.php | 4 |
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; | |||
58 | } | 58 | } |
59 | 59 | ||
60 | function plugin_header($host, $plugin) { | 60 | function plugin_header($host, $plugin) { |
61 | global $CONFIG; | ||
62 | |||
61 | return printf("<h3><a href='%shost.php?h=%s&p=%s'>%s</a></h3>\n", $CONFIG['weburl'], $host, $plugin, $plugin); | 63 | return printf("<h3><a href='%shost.php?h=%s&p=%s'>%s</a></h3>\n", $CONFIG['weburl'], $host, $plugin, $plugin); |
62 | } | 64 | } |
63 | 65 | ||
64 | function plugins_list($host, $overview_plugins, $other_plugins, $selected_plugins = array()) { | 66 | function plugins_list($host, $overview_plugins, $other_plugins, $selected_plugins = array()) { |
67 | global $CONFIG; | ||
68 | |||
65 | echo '<div class="plugins">'; | 69 | echo '<div class="plugins">'; |
66 | echo '<h3>Plugins</h3>'; | 70 | echo '<h3>Plugins</h3>'; |
67 | echo '<ul>'; | 71 | echo '<ul>'; |