Merge "Misc fixes in RevisionDelete.php."
authorAaron Schulz <aschulz@wikimedia.org>
Thu, 7 Jun 2012 19:13:16 +0000 (19:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 7 Jun 2012 19:13:16 +0000 (19:13 +0000)
commit38a42ed82346c9e5bca0dc31b5d8256c2d6a63f7
treeeaf6786aca16336289333e0f1bb394be5c56c717
parent72cb8bd5f86dcda9f85a2e0582f2e065f9c0a817
parent9d00a6acc381b60885de935737695bfd686f2520
Merge "Misc fixes in RevisionDelete.php."