From f36d9a82b8d88778fd396d1505f905557b4fd8ed Mon Sep 17 00:00:00 2001 From: vinkmar Date: Tue, 29 Aug 2006 16:59:19 +0000 Subject: [PATCH] adding a more obvious heading to the page :) --- admin/upgradesettings.php | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/admin/upgradesettings.php b/admin/upgradesettings.php index cc42f17af6..2c4577ba4c 100644 --- a/admin/upgradesettings.php +++ b/admin/upgradesettings.php @@ -56,8 +56,9 @@ admin_externalpage_print_header(); echo '
'; echo ''; print_simple_box_start('','100%','',5,'generalbox',''); +print_heading(get_string('upgradesettings','admin')); echo '' . "\n"; -echo ''; +echo ''; foreach ($newsettings as $newsetting) { echo $newsetting->output_html(); } -- 2.39.5
' . get_string('modifiedsettingsintro','admin') . '
' . get_string('upgradesettingsintro','admin') . '