Merge "Misc fixes in RevisionDelete.php."