From f5bb6e2dfbab31451e9854128c30abc332d622ad Mon Sep 17 00:00:00 2001
From: tjhunt <tjhunt>
Date: Fri, 26 Jun 2009 10:29:56 +0000
Subject: [PATCH] remove some print_simple_boxes.

---
 theme/index.php | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/theme/index.php b/theme/index.php
index 8821d2a435..f6a41b39b7 100644
--- a/theme/index.php
+++ b/theme/index.php
@@ -31,15 +31,15 @@
             print_heading(get_string("themesaved"));
 
             if (file_exists("$choose/README.html")) {
-                print_simple_box_start("center");
+                print_box_start();
                 readfile("$choose/README.html");
-                print_simple_box_end();
+                print_box_end();
 
             } else if (file_exists("$choose/README.txt")) {
-                print_simple_box_start("center");
+                print_box_start("center");
                 $file = file("$choose/README.txt");
                 echo format_text(implode('', $file), FORMAT_MOODLE);
-                print_simple_box_end();
+                print_box_end();
             }
             
             print_continue("$CFG->wwwroot/");
-- 
2.39.5