mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-12-03 18:26:07 +00:00
512403afa7
Realtime Preview is unique to WikiEditor, so we only add support in CodeMirrorWikiEditor. Bug: T360708 Change-Id: I2122a114359c74d311777b5f2872149e64d95254 |
||
---|---|---|
.. | ||
codemirror.js | ||
codemirror.mode.mediawiki.js | ||
codemirror.wikieditor.mediawiki.js | ||
vendor.js |