renaming mediawiki.specials to mediawiki.special (matches the Special-pagename and...
authorKrinkle <krinkle@users.mediawiki.org>
Thu, 18 Nov 2010 22:02:53 +0000 (22:02 +0000)
committerKrinkle <krinkle@users.mediawiki.org>
Thu, 18 Nov 2010 22:02:53 +0000 (22:02 +0000)
commit8867b6434723bacf281e33a0a0d7ff817b4d5212
tree3fd13318be9250295dc2a8c80470bf996fadcb47
parent6f2513eaa9d26a3cef1877ad857ce1e07cd09330
renaming mediawiki.specials to mediawiki.special (matches the Special-pagename and the 'singlular' convention)
includes/specials/SpecialPreferences.php
includes/specials/SpecialSearch.php
resources/Resources.php
resources/mediawiki.special/mediawiki.specials.preferences.css [new file with mode: 0644]
resources/mediawiki.special/mediawiki.specials.preferences.js [new file with mode: 0644]
resources/mediawiki.special/mediawiki.specials.search.js [new file with mode: 0644]
resources/mediawiki.specials/mediawiki.specials.preferences.css [deleted file]
resources/mediawiki.specials/mediawiki.specials.preferences.js [deleted file]
resources/mediawiki.specials/mediawiki.specials.search.js [deleted file]