wikimedia / mediawiki-extensions-CodeMirror

Github mirror of MediaWiki extension CodeMirror - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing
10Updated this week

Related projects

Alternatives and complementary repositories for mediawiki-extensions-CodeMirror