MDL-29029 add new "Admin tool" plugin type

2011-09-17 08:49:24 +02:00
parent 9cfaebbd0e
commit 11b24ce7b2
4 changed files with 15 additions and 1 deletions
@@ -474,6 +474,13 @@ foreach (get_plugin_list('report') as $plugin => $plugindir) {
    $ADMIN->add('reports', new admin_externalpage('report'.$plugin, $reportname, $www_path, 'moodle/site:viewreports'));
 }

+// Now add various admin tools
+foreach (get_plugin_list('tool') as $plugin => $plugindir) {
+    $settings_path = "$plugindir/settings.php";
+    if (file_exists($settings_path)) {
+        include($settings_path);
+    }
+}

 /// Add all local plugins - must be always last!
 if ($hassiteconfig) {