mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-12-12 14:25:06 +00:00
e75ca66a66
TODO: Change the PluginModules in extension.json when fully migrated to v6 and drop this hack. Bug: T374072 Change-Id: I5f06af67928c491db330d9761084d8740cfc2487 |
||
---|---|---|
.. | ||
ve.ui.CodeMirror.init.js | ||
ve.ui.CodeMirror.v6.less | ||
ve.ui.CodeMirrorAction.v6.js | ||
ve.ui.CodeMirrorTool.v6.js |