Add server plugins page. Recovered partially from Drizzle support

Signed-off-by: Madhura Jayaratne <madhura.cj@gmail.com>

1 files changed, 36 insertions, 0 deletions

diff --git a/server_plugins.php b/server_plugins.php
new file mode 100644
index 0000000000..4bb3fef99d
--- /dev/null
+++ b/server_plugins.php
@@ -0,0 +1,36 @@
+<?php
+/* vim: set expandtab sw=4 ts=4 sts=4: */
+/**
+ * object the server plugin page
+ *
+ * @package PhpMyAdmin
+ */
+
+/**
+ * requirements
+ */
+require_once 'libraries/common.inc.php';
+
+/**
+ * JS includes
+ */
+$response = PMA_Response::getInstance();
+$header   = $response->getHeader();
+$scripts  = $header->getScripts();
+$scripts->addFile('jquery/jquery.tablesorter.js');
+$scripts->addFile('server_plugins.js');
+
+/**
+ * Does the common work
+ */
+require 'libraries/server_common.inc.php';
+require 'libraries/server_plugins.lib.php';
+
+$plugins = PMA_getServerPlugins();
+
+/**
+ * Displays the page
+ */
+$response->addHTML(PMA_getPluginTab($plugins));
+
+exit;