[MediaWiki-commits] [Gerrit] Update CodeMirror library to version 5.16.0 - change (mediawiki...CodeMirror)

2016-07-23 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Update CodeMirror library to version 5.16.0 .. Update CodeMirror library to version 5.16.0 Change-Id: Iae9df045d0e897e03b3edcb935188731e019811f --- M

[MediaWiki-commits] [Gerrit] Update CodeMirror library to version 5.16.0 - change (mediawiki...CodeMirror)

2016-07-19 Thread Pastakhov (Code Review)
Pastakhov has uploaded a new change for review. https://gerrit.wikimedia.org/r/299735 Change subject: Update CodeMirror library to version 5.16.0 .. Update CodeMirror library to version 5.16.0 Change-Id: