Allow a theme to be completely disabled.

To use, set the $theme->disabled flag to the theme's themeconfig.php

Signed-off-by: Andrew Robert Nicols <andrew.nicols@luns.net.uk>

htdocs/lib/mahara.php

@@ -614,7 +614,9 @@ function get_all_theme_objects() {
                 $config_path = $themebase . $subdir . '/themeconfig.php';
                 if (is_readable($config_path)) {
                     require($config_path);
-                    $themes[$subdir] = $theme;
+                    if (empty($theme->disabled) || !$theme->disabled) {
+                        $themes[$subdir] = $theme;
+                    }
                 }
             }
         }