From d8c5baee04d7d994ca2e6121e649ae089d7ae7af Mon Sep 17 00:00:00 2001 From: skodak Date: Tue, 26 Sep 2006 20:51:28 +0000 Subject: [PATCH] upgradesettings.php now using the same CSS as settings.php --- admin/upgradesettings.php | 18 ++++++++---------- 1 file changed, 8 insertions(+), 10 deletions(-) diff --git a/admin/upgradesettings.php b/admin/upgradesettings.php index 06f0b29951..7d6b33c3aa 100644 --- a/admin/upgradesettings.php +++ b/admin/upgradesettings.php @@ -56,17 +56,12 @@ if ($data = data_submitted()) { // to modify them admin_externalpage_print_header($adminroot); - echo '
'; -echo ''; -print_simple_box_start('','100%','',5,'generalbox',''); -print_heading(get_string('upgradesettings','admin')); -echo '' . "\n"; -echo ''; +echo ''; + echo $newsettingshtml; -echo '
' . get_string('upgradesettingsintro','admin') . '
'; -echo '
'; -print_simple_box_end(); + +echo '
'; echo '
'; admin_externalpage_print_footer($adminroot); @@ -130,9 +125,12 @@ function output_new_settings_by_page(&$node) { } $return = ''; if (count($newsettings) > 0) { - $return = '' . $node->visiblename . ''; + $return .= print_heading(get_string('upgradesettings','admin').' - '.$node->visiblename, '', 2, 'main', true); foreach ($newsettings as $newsetting) { + $return .= '
' . "\n"; + $return .= '
' . "\n"; $return .= $newsetting->output_html(); + $return .= '
'; } } return $return; -- 2.39.5