Board Thread:Code Review/@comment-24757753-20180805110740/@comment-24757753-20180813132045

The editor is somewhat separate to i18n-js itself. Suggestions for it are probably best left at MediaWiki talk:I18n-js/editor.js.