From e8c7108ea93bc87873e7c9cc260d7f479bedb6fe Mon Sep 17 00:00:00 2001 From: Timo Tijhof Date: Sat, 9 Mar 2019 02:48:26 +0000 Subject: [PATCH] mediawiki.cookie: Move file to its own directory In preparation for using RL packageFiles functionality, and to make sure git can track the file, which it seems to be unable to otherwise. Change-Id: I966718db2028a45c3dce1c2c10218e5137e23c7d --- resources/Resources.php | 2 +- .../src/{mediawiki.cookie.js => mediawiki.cookie/index.js} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename resources/src/{mediawiki.cookie.js => mediawiki.cookie/index.js} (100%) diff --git a/resources/Resources.php b/resources/Resources.php index 51d4d2f9c1..d6d37c3f94 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -1341,7 +1341,7 @@ return [ 'styles' => 'resources/src/mediawiki.checkboxtoggle.styles.css', ], 'mediawiki.cookie' => [ - 'scripts' => 'resources/src/mediawiki.cookie.js', + 'scripts' => 'resources/src/mediawiki.cookie/index.js', 'dependencies' => 'jquery.cookie', 'targets' => [ 'desktop', 'mobile' ], ], diff --git a/resources/src/mediawiki.cookie.js b/resources/src/mediawiki.cookie/index.js similarity index 100% rename from resources/src/mediawiki.cookie.js rename to resources/src/mediawiki.cookie/index.js -- 2.20.1