From ddfa1863d36f469c8cca3828199891a1a6181b71 Mon Sep 17 00:00:00 2001 From: tjhunt Date: Sat, 3 Oct 2009 08:56:59 +0000 Subject: [PATCH] revert last change. I used the wrong commit comment and it was totally misleading. Will recommit with a good comment. --- admin/upgradesettings.php | 1 - 1 file changed, 1 deletion(-) diff --git a/admin/upgradesettings.php b/admin/upgradesettings.php index e1a829f317..132fee8e50 100644 --- a/admin/upgradesettings.php +++ b/admin/upgradesettings.php @@ -13,7 +13,6 @@ require_login(0, false); $adminroot = admin_get_root(); // need all settings admin_externalpage_setup('upgradesettings'); // now hidden page -$PAGE->set_generaltype('maintenance'); // now we'll deal with the case that the admin has submitted the form with new settings if ($data = data_submitted() and confirm_sesskey()) { -- 2.39.5