From bfaf310fe97f48b7ce328402b33c24c02ca24bac Mon Sep 17 00:00:00 2001
From: tjhunt <tjhunt>
Date: Fri, 5 Sep 2008 07:26:01 +0000
Subject: [PATCH] Fix deprecated print_simple_box calls.

---
 admin/report/simpletest/index.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/admin/report/simpletest/index.php b/admin/report/simpletest/index.php
index 58db632fee..8e56186270 100644
--- a/admin/report/simpletest/index.php
+++ b/admin/report/simpletest/index.php
@@ -101,7 +101,7 @@ if (!is_null($path)) {
     $formheader = get_string('rununittests', $langfile);
 }
 // Print the form for adjusting options.
-print_simple_box_start('center', '70%');
+print_box_start('generalbox boxwidthwide');
 echo '<form method="get" action="index.php">';
 echo '<fieldset class="invisiblefieldset">';
 print_heading($formheader);
@@ -116,7 +116,7 @@ echo '<p>'; print_checkbox('rundbtests', 1, $rundbtests, get_string('rundbtests'
 echo '<input type="submit" value="' . get_string('runtests', $langfile) . '" />';
 echo '</fieldset>';
 echo '</form>';
-print_simple_box_end();
+print_box_end();
 
 // Footer.
 admin_externalpage_print_footer();
-- 
2.39.5