Merge "Restore formatting before split of RevisionDelete.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 8 Aug 2014 23:55:31 +0000 (23:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 8 Aug 2014 23:55:31 +0000 (23:55 +0000)
commit1481c70fae88e82d017854a4f742c8076222c760
treed64c631588142401ec4e2f86e35e76d39f0006a5
parentd2a82fcb604efe62b2c994d63a568177783ee0ef
parentc518dd36c54f287a87de607c9c33257a00d31a88
Merge "Restore formatting before split of RevisionDelete.php"