From cd1c4d2321563dc25fb950b0aaa84fec89789014 Mon Sep 17 00:00:00 2001 From: martin Date: Fri, 27 Sep 2002 14:18:06 +0000 Subject: [PATCH] Removed theme chooser from here ... moving it to admin folder --- theme/index.php | 77 ------------------------------------------------- 1 file changed, 77 deletions(-) delete mode 100644 theme/index.php diff --git a/theme/index.php b/theme/index.php deleted file mode 100644 index ec0986ca00..0000000000 --- a/theme/index.php +++ /dev/null @@ -1,77 +0,0 @@ -theme = $preview; - $CFG->stylesheet = "$CFG->wwwroot/theme/$CFG->theme/styles.css"; - $CFG->header = "$CFG->dirroot/theme/$CFG->theme/header.html"; - $CFG->footer = "$CFG->dirroot/theme/$CFG->theme/footer.html"; - include ("$CFG->theme/config.php"); - } - - - if (! $site = get_site()) { - error("Site doesn't exist!"); - } - - require_login(); - - if (!isadmin()) { - error("You must be an administrator to change themes."); - } - - - $stradministration = get_string("administration"); - $strchoosetheme = get_string("choosetheme"); - $strpreview = get_string("preview"); - $strsavechanges = get_string("savechanges"); - $strtheme = get_string("theme"); - $strthemesaved = get_string("themesaved"); - - print_header("$site->fullname : $strchoosetheme", $site->fullname, - "wwwroot/admin\">$stradministration -> $strchoosetheme"); - - if ($choose) { - if (set_config("theme", $choose)) { - print_heading(get_string("themesaved")); - print_continue("$CFG->wwwroot"); - print_footer(); - exit; - } else { - error("Could not set the theme!"); - } - } - - print_heading(get_string("previeworchoose")); - - $themes = get_list_of_plugins("theme"); - - echo ""; - echo ""; - foreach ($themes as $theme) { - include ("$theme/config.php"); - echo ""; - if ($CFG->theme == $theme) { - echo ""; - echo ""; - } else { - echo ""; - echo ""; - } - echo ""; - } - echo "
$strtheme 
body\">$theme$strsavechangesbody\">"; - echo "$theme"; - echo " 
"; - - print_footer(); - -?> -- 2.39.5