revert last change. I used the wrong commit comment and it was totally misleading.

Will recommit with a good comment.

diff --git a/admin/upgradesettings.php b/admin/upgradesettings.php
index e1a829f317391a61cd067c23f7c700e47fe604db..132fee8e50dd94921137995a547913b83ca1b4a5 100644 (file)
--- 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()) {