[MediaWiki-commits] [Gerrit] mediawiki...CodeMirror[master]: Remove i18n shim

2017-07-08 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/363975 ) Change subject: Remove i18n shim .. Remove i18n shim Change-Id: I187328ea888589aa33500dda25c73cff18261e07 --- D

[MediaWiki-commits] [Gerrit] mediawiki...CodeMirror[master]: Remove i18n shim

2017-07-07 Thread MaxSem (Code Review)
MaxSem has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/363975 ) Change subject: Remove i18n shim .. Remove i18n shim Change-Id: I187328ea888589aa33500dda25c73cff18261e07 --- D CodeMirror.i18n.php M