diff --git a/admin/upgradesettings.php b/admin/upgradesettings.php index 132fee8e50d..e1a829f3173 100644 --- a/admin/upgradesettings.php +++ b/admin/upgradesettings.php @@ -13,6 +13,7 @@ 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()) {