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: Aude: 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 3479485..293d135 100644 --- a/repo/resources/Resources.php +++ b/repo/resources/Resources.php @@ -274,8 +274,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/184934 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: wmf/1.25wmf14 Gerrit-Owner: Aude <aude.w...@gmail.com> Gerrit-Reviewer: Aude <aude.w...@gmail.com> Gerrit-Reviewer: Hoo man <h...@online.de> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits