jenkins-bot has submitted this change and it was merged.
Change subject: wikibase.utilities still needed in client, move back to lib
......................................................................
wikibase.utilities still needed in client, move back to lib
Bug: T86790
Change-Id: I5588fa7cfe71a74066762d7e1d11ee06af511e49
---
M lib/resources/Resources.php
R lib/resources/utilities/resources.php
R lib/resources/utilities/wikibase.utilities.ClaimGuidGenerator.js
R lib/resources/utilities/wikibase.utilities.GuidGenerator.js
R lib/resources/utilities/wikibase.utilities.js
R lib/resources/utilities/wikibase.utilities.ui.css
R lib/resources/utilities/wikibase.utilities.ui.js
M repo/resources/Resources.php
8 files changed, 3 insertions(+), 3 deletions(-)
Approvals:
JanZerebecki: Looks good to me, approved
jenkins-bot: Verified
diff --git a/lib/resources/Resources.php b/lib/resources/Resources.php
index 8b3739b..2957835 100644
--- a/lib/resources/Resources.php
+++ b/lib/resources/Resources.php
@@ -85,7 +85,8 @@
$modules,
include( __DIR__ . '/deprecated/resources.php' ),
include( __DIR__ . '/jquery.wikibase/resources.php' ),
- include( __DIR__ . '/jquery.wikibase-shared/resources.php' )
+ include( __DIR__ . '/jquery.wikibase-shared/resources.php' ),
+ include( __DIR__ . '/utilities/resources.php' )
);
if ( defined( 'ULS_VERSION' ) ) {
diff --git a/repo/resources/utilities/resources.php
b/lib/resources/utilities/resources.php
similarity index 100%
rename from repo/resources/utilities/resources.php
rename to lib/resources/utilities/resources.php
diff --git a/repo/resources/utilities/wikibase.utilities.ClaimGuidGenerator.js
b/lib/resources/utilities/wikibase.utilities.ClaimGuidGenerator.js
similarity index 100%
rename from repo/resources/utilities/wikibase.utilities.ClaimGuidGenerator.js
rename to lib/resources/utilities/wikibase.utilities.ClaimGuidGenerator.js
diff --git a/repo/resources/utilities/wikibase.utilities.GuidGenerator.js
b/lib/resources/utilities/wikibase.utilities.GuidGenerator.js
similarity index 100%
rename from repo/resources/utilities/wikibase.utilities.GuidGenerator.js
rename to lib/resources/utilities/wikibase.utilities.GuidGenerator.js
diff --git a/repo/resources/utilities/wikibase.utilities.js
b/lib/resources/utilities/wikibase.utilities.js
similarity index 100%
rename from repo/resources/utilities/wikibase.utilities.js
rename to lib/resources/utilities/wikibase.utilities.js
diff --git a/repo/resources/utilities/wikibase.utilities.ui.css
b/lib/resources/utilities/wikibase.utilities.ui.css
similarity index 100%
rename from repo/resources/utilities/wikibase.utilities.ui.css
rename to lib/resources/utilities/wikibase.utilities.ui.css
diff --git a/repo/resources/utilities/wikibase.utilities.ui.js
b/lib/resources/utilities/wikibase.utilities.ui.js
similarity index 100%
rename from repo/resources/utilities/wikibase.utilities.ui.js
rename to lib/resources/utilities/wikibase.utilities.ui.js
diff --git a/repo/resources/Resources.php b/repo/resources/Resources.php
index 6464cbd..b5d20b9 100644
--- a/repo/resources/Resources.php
+++ b/repo/resources/Resources.php
@@ -289,8 +289,7 @@
include( __DIR__ . '/formatters/resources.php' ),
include( __DIR__ . '/parsers/resources.php' ),
include( __DIR__ . '/jquery/resources.php' ),
- include( __DIR__ . '/store/resources.php' ),
- include( __DIR__ . '/utilities/resources.php' )
+ include( __DIR__ . '/store/resources.php' )
);
} );
// @codeCoverageIgnoreEnd
--
To view, visit https://gerrit.wikimedia.org/r/184931
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5588fa7cfe71a74066762d7e1d11ee06af511e49
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Aude <aude.w...@gmail.com>
Gerrit-Reviewer: Adrian Lang <adrian.he...@wikimedia.de>
Gerrit-Reviewer: Daniel Kinzler <daniel.kinz...@wikimedia.de>
Gerrit-Reviewer: Hoo man <h...@online.de>
Gerrit-Reviewer: JanZerebecki <jan.wikime...@zerebecki.de>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
