From b83075a82478a83fa0326b36ac1f53c366f39501 Mon Sep 17 00:00:00 2001 From: Krinkle Date: Thu, 18 Nov 2010 22:04:22 +0000 Subject: [PATCH] Follow-up on r76972, renaming files inside the folder accordingly --- ...specials.preferences.css => mediawiki.special.preferences.css} | 0 ...i.specials.preferences.js => mediawiki.special.preferences.js} | 0 .../{mediawiki.specials.search.js => mediawiki.special.search.js} | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename resources/mediawiki.special/{mediawiki.specials.preferences.css => mediawiki.special.preferences.css} (100%) rename resources/mediawiki.special/{mediawiki.specials.preferences.js => mediawiki.special.preferences.js} (100%) rename resources/mediawiki.special/{mediawiki.specials.search.js => mediawiki.special.search.js} (100%) diff --git a/resources/mediawiki.special/mediawiki.specials.preferences.css b/resources/mediawiki.special/mediawiki.special.preferences.css similarity index 100% rename from resources/mediawiki.special/mediawiki.specials.preferences.css rename to resources/mediawiki.special/mediawiki.special.preferences.css diff --git a/resources/mediawiki.special/mediawiki.specials.preferences.js b/resources/mediawiki.special/mediawiki.special.preferences.js similarity index 100% rename from resources/mediawiki.special/mediawiki.specials.preferences.js rename to resources/mediawiki.special/mediawiki.special.preferences.js diff --git a/resources/mediawiki.special/mediawiki.specials.search.js b/resources/mediawiki.special/mediawiki.special.search.js similarity index 100% rename from resources/mediawiki.special/mediawiki.specials.search.js rename to resources/mediawiki.special/mediawiki.special.search.js -- 2.20.1