Fix alias capitalization warning
authorMatthew Flaschen <mflaschen@wikimedia.org>
Thu, 19 May 2016 02:45:39 +0000 (22:45 -0400)
committerMatthew Flaschen <mflaschen@wikimedia.org>
Thu, 19 May 2016 02:46:19 +0000 (22:46 -0400)
commit0c64cd4d2afd7a84894a1955f2cb164427163a87
tree2f424e8b086c396b5ef13984f546b12003be0fa1
parentc08141d2f62ccd1e69bd67de8be52022059a6ad6
Fix alias capitalization warning

This avoids:

"Found alias defined for Revisiondelete when searching for special page
aliases for RevisionDelete. Case mismatch?"

Change-Id: I35ba1d3d4afbf3e3aca093e17c2de459413d05d3
includes/specials/SpecialUndelete.php