jenkins-bot has submitted this change and it was merged.
Change subject: Add dependency to 'jquery.textSelection' for 'mediawiki.toolbar'
......................................................................
Add dependency to 'jquery.textSelection' for 'mediawiki.toolbar'
Change-Id: Ie3b001551802364b488ba84588a028c44c73e755
---
M resources/Resources.php
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/Resources.php b/resources/Resources.php
index 1558ee6..5c60201 100644
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1412,6 +1412,7 @@
'class' => 'ResourceLoaderEditToolbarModule',
'scripts' => 'resources/src/mediawiki.toolbar/toolbar.js',
'styles' => 'resources/src/mediawiki.toolbar/toolbar.less',
+ 'dependencies' => 'jquery.textSelection',
'position' => 'top',
],
'mediawiki.experiments' => [
--
To view, visit https://gerrit.wikimedia.org/r/303149
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie3b001551802364b488ba84588a028c44c73e755
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Gerrit Patch Uploader <[email protected]>
Gerrit-Reviewer: Jack Phoenix <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
