diff --git a/admin/upgradesettings.php b/admin/upgradesettings.php index 06f0b299518..7d6b33c3aaf 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;