extension.json i18n includes resources /var/lib/mediawiki/extensions/CodeMirror
