theme = $preview;
$CFG->stylesheet = "$CFG->wwwroot/theme/$CFG->theme/styles.php?themename=$preview";
$CFG->header = "$CFG->dirroot/theme/$CFG->theme/header.html";
$CFG->footer = "$CFG->dirroot/theme/$CFG->theme/footer.html";
include ("$CFG->theme/config.php");
}
$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->shortname: $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 "| body\">$theme | ";
echo "$strsavechanges | ";
} else {
echo "body\">";
echo "$theme";
echo " | ";
echo " | ";
}
echo "
";
}
echo "
";
echo "
";
$options["frame"] = "developer.html";
$options["sub"] = "themes";
print_single_button("$CFG->wwwroot/doc/index.php", $options, get_string("howtomakethemes"));
echo "
";
print_footer();
?>