[MediaWiki-commits] [Gerrit] mediawiki...CodeEditor[master]: Add jquery.textSelection dependency

2016-08-04 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Add jquery.textSelection dependency .. Add jquery.textSelection dependency Change-Id: I66de8620adced0c810ebd7b1037f790eec688534 --- M extension.json 1

[MediaWiki-commits] [Gerrit] mediawiki...CodeEditor[master]: Add jquery.textSelection dependency

2016-08-04 Thread Tchanders (Code Review)
Tchanders has uploaded a new change for review. https://gerrit.wikimedia.org/r/302984 Change subject: Add jquery.textSelection dependency .. Add jquery.textSelection dependency Change-Id: