Merge "Maintenance.php: Fix mwdebug error"