[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Add dependency to 'jquery.textSelection' for 'mediawiki.tool...

2016-08-06 Thread jenkins-bot (Code Review)
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: Ie3b001551

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Add dependency to 'jquery.textSelection' for 'mediawiki.tool...

2016-08-05 Thread Gerrit Patch Uploader (Code Review)
Gerrit Patch Uploader has uploaded a new change for review. https://gerrit.wikimedia.org/r/303149 Change subject: Add dependency to 'jquery.textSelection' for 'mediawiki.toolbar' .. Add dependency to 'jquery.textSelection' for