make_init_params: add plugins

2 files changed, 11 insertions, 0 deletions

diff --git a/classes/pluginhost.php b/classes/pluginhost.php
index 472f20186..19f8b563b 100644
--- 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 2cf4af22e..ca58ea6c5 100644
--- 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;