mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-12-11 13:56:02 +00:00
6be3bf62f0
CodeMirror is meant to be used without WikiEditor, so we add a destroy() method that does much the same things as CodeMirrorWikiEditor. The hooks added with this patch aren't used by anything yet, but offer feature parity with CodeMirrorWikiEditor, which fires the 'ext.CodeMirror.switch' hook. That hook can't be moved for backwards-compatibility reasons. The actual fix for T360075 here was to nullify the `textSelection` class property. Bug: T360075 Change-Id: Ife6a3f1ef90df66cd1bf8bab33c9ef3b39ed17a0 |
||
---|---|---|
.. | ||
codemirror.js | ||
codemirror.mode.mediawiki.js | ||
codemirror.wikieditor.mediawiki.js | ||
vendor.js |