Rename SpecialAllpages to SpecialAllPages
authorReedy <reedy@wikimedia.org>
Mon, 16 Jun 2014 17:36:04 +0000 (18:36 +0100)
committerReedy <reedy@wikimedia.org>
Mon, 16 Jun 2014 17:36:04 +0000 (18:36 +0100)
commita161ea79a261ff80b4cfb79fe920bece5863cc79
tree3038d0df36daaec95be178f61d4958089b392f8d
parentea5f351fb149b7a5c15e88965c5909cb24634acc
Rename SpecialAllpages to SpecialAllPages

Change-Id: Ic137bc7adbc4a9ed96448ba0fee4807b67b3112d
includes/AutoLoader.php
includes/specials/SpecialAllPages.php [new file with mode: 0644]
includes/specials/SpecialAllpages.php [deleted file]
includes/specials/SpecialPrefixindex.php