make_init_params: add plugins

diff --git a/classes/pluginhost.php b/classes/pluginhost.php
index 472f201860ea1ce48844d119caa96cd50cdd771f..19f8b563b145b41ed23fd54304a0a5e0777cc4c1 100644 (file)
--- a/classes/pluginhost.php
+++ b/classes/pluginhost.php
@@ -75,6 +75,16 @@ class PluginHost {
                return $this->dbh;
        }
 
+       function get_plugin_names() {
+               $names = array();
+
+               foreach ($this->plugins as $p) {
+                       array_push($names, get_class($p));
+               }
+
+               return $names;
+       }
+
        function get_plugins() {
                return $this->plugins;
        }

diff --git a/include/functions2.php b/include/functions2.php
index 2cf4af22e22a71ce4ee23ec0e5392961b4db746b..ca58ea6c560517a0fa48127b2fb1fe80a8cf2f0d 100644 (file)
--- a/include/functions2.php
+++ b/include/functions2.php
@@ -18,6 +18,7 @@
                $params["bw_limit"] = (int) $_SESSION["bw_limit"];
                $params["label_base_index"] = (int) LABEL_BASE_INDEX;
                $params["theme"] = get_pref("USER_CSS_THEME", false, false);
+               $params["plugins"] = implode(", ", PluginHost::getInstance()->get_plugin_names());
 
                $params["php_platform"] = PHP_OS;
                $params["php_version"] = PHP_VERSION;