MDL-29509 new admin tool manager UI

2011-09-27 00:39:21 +02:00
parent 62f97dfc8c
commit 3cdfaeeff9
4 changed files with 154 additions and 0 deletions
@@ -482,6 +482,13 @@ foreach (get_plugin_list('tool') as $plugin => $plugindir) {
    }
 }

+/// Add all admin tools
+if ($hassiteconfig) {
+    $ADMIN->add('modules', new admin_category('tools', get_string('tools', 'admin')));
+    $ADMIN->add('tools', new admin_externalpage('managetools', get_string('toolsmanage', 'admin'),
+                                                     $CFG->wwwroot . '/' . $CFG->admin . '/tools.php'));
+}
+
 /// Add all local plugins - must be always last!
 if ($hassiteconfig) {
    $ADMIN->add('modules', new admin_category('localplugins', get_string('localplugins')));