diff --git a/theme/index.php b/theme/index.php index 6cf54d4d0a6..4e2d07acb6f 100644 --- a/theme/index.php +++ b/theme/index.php @@ -46,6 +46,12 @@ if (set_config("theme", $choose)) { print_heading(get_string("themesaved")); print_continue("$CFG->wwwroot"); + if (file_exists("$choose/README.txt")) { + print_simple_box_start("center"); + $file = file("$choose/README.txt"); + echo format_text(implode('', $file), FORMAT_MOODLE); + print_simple_box_end(); + } print_footer(); exit; } else { @@ -71,15 +77,15 @@ echo ""; echo " "; } - echo ""; + 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 "
"; + echo "
"; print_footer(); ?>