From f3659b8d27b169ee1b0db950c1f2839a54139a35 Mon Sep 17 00:00:00 2001 From: Timo Tijhof Date: Fri, 6 Sep 2019 01:32:38 +0100 Subject: [PATCH] mediawiki.util: Move to its own resources/src/ directory It only has one real file right now, but per T193826 modules that are bound to an explicit directory should have already gotten its own directory. Anyway, this'll make it easier to add other files in it in a separate commit. Change-Id: Iae7d270bf08d5a623b0a90c37c7cfc0c8e424a76 --- resources/Resources.php | 6 +++--- resources/src/{mediawiki.util.js => mediawiki.util/util.js} | 0 2 files changed, 3 insertions(+), 3 deletions(-) rename resources/src/{mediawiki.util.js => mediawiki.util/util.js} (100%) diff --git a/resources/Resources.php b/resources/Resources.php index 8234e8970c..d4ee4c516a 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -1254,10 +1254,10 @@ return [ ] ], 'mediawiki.util' => [ - 'localBasePath' => "$IP/resources/src", - 'remoteBasePath' => "$wgResourceBasePath/resources/src", + 'localBasePath' => "$IP/resources/src/mediawiki.util/", + 'remoteBasePath' => "$wgResourceBasePath/resources/srcmediawiki.util/", 'packageFiles' => [ - 'mediawiki.util.js', + 'util.js', [ 'name' => 'config.json', 'config' => [ 'FragmentMode', 'LoadScript', diff --git a/resources/src/mediawiki.util.js b/resources/src/mediawiki.util/util.js similarity index 100% rename from resources/src/mediawiki.util.js rename to resources/src/mediawiki.util/util.js -- 2.20.1