mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-15 10:19:27 +00:00
691ed8bec2
* remove state.allowWikimarkup Change-Id: Ic34d8be7e10b2e829cf76d5e5c0f40da3c943961 |
||
---|---|---|
.. | ||
mediawiki.css | ||
mediawiki.js |