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

Will recommit with a good comment.
2009-10-03 08:56:59 +00:00
parent 67e84a7f5e
commit ddfa1863d3
1 changed files with 0 additions and 1 deletions
@@ -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()) {