From 7334f07d10455a46c8b7e1954d805b99e9aafd4d Mon Sep 17 00:00:00 2001 From: Giuseppe Di Terlizzi Date: Sun, 23 Aug 2015 02:06:56 +0200 Subject: [PATCH] Added missing "tpl_admin.php" (see commit 31c0c74 for details). Sorry! --- tpl_admin.php | 80 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 80 insertions(+) create mode 100755 tpl_admin.php diff --git a/tpl_admin.php b/tpl_admin.php new file mode 100755 index 00000000..54c189f1 --- /dev/null +++ b/tpl_admin.php @@ -0,0 +1,80 @@ + + * @license GPL 2 (http://www.gnu.org/licenses/gpl.html) + */ + +global $ID, $auth; + +$admin_plugins = plugin_list('admin'); +$administrative_tasks = array('usermanager', 'acl', 'extension', 'config', 'styling', 'revert', 'popularity'); +$additional_plugins = array_diff($admin_plugins, $administrative_tasks); + +$plugins = array( + 'Administrative Tasks' => $administrative_tasks, + 'Additional Plugins' => $additional_plugins +); +?> + + +