This file must be included after Maintenance.php