From 72e4a3dcfdc703cb6d0f3fe23a5b4a5d0f8fa048 Mon Sep 17 00:00:00 2001 From: Roan Kattouw Date: Tue, 28 Jun 2011 15:24:38 +0000 Subject: [PATCH] Move mediawiki.special.js to the correct directory. Followup r90941, r90960 --- resources/{mediawiki => mediawiki.special}/mediawiki.special.js | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename resources/{mediawiki => mediawiki.special}/mediawiki.special.js (100%) diff --git a/resources/mediawiki/mediawiki.special.js b/resources/mediawiki.special/mediawiki.special.js similarity index 100% rename from resources/mediawiki/mediawiki.special.js rename to resources/mediawiki.special/mediawiki.special.js -- 2.20.1