Display README.html as well

diff --git a/theme/index.php b/theme/index.php
index 4e2d07acb6f2a595ab239d22a8cd7a936f22c5dd..562c7441c19069a082bddabe250053a80b9371fd 100644 (file)
--- a/theme/index.php
+++ b/theme/index.php
@@ -46,7 +46,13 @@
         if (set_config("theme", $choose)) {
             print_heading(get_string("themesaved"));
             print_continue("$CFG->wwwroot");
-            if (file_exists("$choose/README.txt")) {
+
+            if (file_exists("$choose/README.html")) {
+                print_simple_box_start("center");
+                readfile("$choose/README.html");
+                print_simple_box_end();
+
+            } else if (file_exists("$choose/README.txt")) {
                 print_simple_box_start("center");
                 $file = file("$choose/README.txt");
                 echo format_text(implode('', $file), FORMAT_MOODLE);