jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/379951 )
Change subject: RCFilters: Don't load all of OOUI
......................................................................
RCFilters: Don't load all of OOUI
Just the widgets module is enough, we don't need
the windows or toolbars modules.
Change-Id: Ie8ce45f0d46fbc759d4579d619ab8c99c13cb0d5
---
M resources/Resources.php
1 file changed, 1 insertion(+), 2 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/Resources.php b/resources/Resources.php
index 818112f..014e6a1 100644
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1917,7 +1917,7 @@
'quotation-marks',
],
'dependencies' => [
- 'oojs-ui',
+ 'oojs-ui-widgets',
'jquery.makeCollapsible',
'mediawiki.language',
'mediawiki.user',
@@ -1927,7 +1927,6 @@
'oojs-ui.styles.icons-editing-core',
'oojs-ui.styles.icons-editing-styling',
'oojs-ui.styles.icons-interactions',
- 'oojs-ui.styles.icons-content',
'oojs-ui.styles.icons-layout',
'oojs-ui.styles.icons-media',
],
--
To view, visit https://gerrit.wikimedia.org/r/379951
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie8ce45f0d46fbc759d4579d619ab8c99c13cb0d5
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Catrope <r...@wikimedia.org>
Gerrit-Reviewer: Bartosz Dziewoński <matma....@gmail.com>
Gerrit-Reviewer: Jack Phoenix <j...@countervandalism.net>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
