Editing: PreventRequestsDuringMaintenance.php