Follow-up on r76972, renaming files inside the folder accordingly
authorKrinkle <krinkle@users.mediawiki.org>
Thu, 18 Nov 2010 22:04:22 +0000 (22:04 +0000)
committerKrinkle <krinkle@users.mediawiki.org>
Thu, 18 Nov 2010 22:04:22 +0000 (22:04 +0000)
commitb83075a82478a83fa0326b36ac1f53c366f39501
treeb29fc589bbc6ab9692154d9715900c0abbd61f96
parent7c29cdb9ac5a5ee1cd19fee30450c275365ff385
Follow-up on r76972, renaming files inside the folder accordingly
resources/mediawiki.special/mediawiki.special.preferences.css [new file with mode: 0644]
resources/mediawiki.special/mediawiki.special.preferences.js [new file with mode: 0644]
resources/mediawiki.special/mediawiki.special.search.js [new file with mode: 0644]
resources/mediawiki.special/mediawiki.specials.preferences.css [deleted file]
resources/mediawiki.special/mediawiki.specials.preferences.js [deleted file]
resources/mediawiki.special/mediawiki.specials.search.js [deleted file]