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

Reply via email to