[MediaWiki-commits] [Gerrit] Update CodeMirror library to version 5.16.0 - change (mediawiki...CodeMirror)
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)
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: