Merge "Delete maintenance/deleteRevision.php"