jenkins-bot has submitted this change and it was merged.
Change subject: Remove reference to removed resource loader module
......................................................................
Remove reference to removed resource loader module
Change-Id: I87bcbe67e238dc9d52e12c8f7901d3ee4e96be55
---
M repo/resources/Resources.php
1 file changed, 0 insertions(+), 2 deletions(-)
Approvals:
JanZerebecki: Looks good to me, approved
jenkins-bot: Verified
diff --git a/repo/resources/Resources.php b/repo/resources/Resources.php
index b5d20b9..71cb302 100644
--- a/repo/resources/Resources.php
+++ b/repo/resources/Resources.php
@@ -276,8 +276,6 @@
if ( defined( 'ULS_VERSION' ) ) {
$modules['wikibase.getLanguageNameByCode']['dependencies'][] =
'ext.uls.mediawiki';
- $modules['wikibase.initTermBox']['dependencies'][] =
'ext.uls.displaysettings';
- $modules['wikibase.initTermBox']['dependencies'][] =
'ext.uls.mediawiki';
$modules['wikibase.special.itemDisambiguation']['dependencies'][] =
'ext.uls.mediawiki';
$modules['wikibase.special.entitiesWithout']['dependencies'][]
= 'ext.uls.mediawiki';
}
--
To view, visit https://gerrit.wikimedia.org/r/186148
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I87bcbe67e238dc9d52e12c8f7901d3ee4e96be55
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Adrian Lang <[email protected]>
Gerrit-Reviewer: JanZerebecki <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits