MDL-23234 finally standardised use of settings.php across all plugins - the only partial exceptions now are report and local plugins

2010-07-13 13:56:55 +00:00
parent bf36ee9b2b
commit dbf9e4bae3
47 changed files with 760 additions and 667 deletions
@@ -26,7 +26,11 @@ if ($hassiteconfig) { // speedup for non-admins, add all caps used on this page
    foreach (get_plugin_list('theme') as $theme => $themedir) {
        $settings_path = "$themedir/settings.php";
        if (file_exists($settings_path)) {
+            $settings = new admin_settingpage('themesetting'.$theme, get_string('pluginname', 'theme_'.$theme));
            include($settings_path);
+            if ($settings) {
+                $ADMIN->add('themes', $settings);
+            }
        }
    }