wikimedia/mediawiki-extensions-CodeMirror

Fork 0

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-12-18 08:40:33 +00:00

Commit graph

Author	SHA1	Message	Date
MusikAnimal	b18ded0a13	CM6: move more Extensions to CodeMirror so they don't require WikiEditor We want CodeMirror to be usable outside WikiEditor. This commit moves the more critical extensions from the CodeMirrorWikiEditor class to the parent CodeMirror class. The linked tasks are only broadly related. In Ide716247e5 we will introduce a ResourceLoader module that makes CodeMirror usable on any textarea. Bug: T214989 Bug: T190108 Change-Id: Ib199cf700c3235812f7c9a9bcb3703917f0887de	2024-03-19 22:48:17 -04:00

Author

SHA1

Message

Date

MusikAnimal

b18ded0a13

CM6: move more Extensions to CodeMirror so they don't require WikiEditor

We want CodeMirror to be usable outside WikiEditor. This commit moves
the more critical extensions from the CodeMirrorWikiEditor class to the
parent CodeMirror class.

The linked tasks are only broadly related. In Ide716247e5 we will
introduce a ResourceLoader module that makes CodeMirror usable on any
textarea.

Bug: T214989
Bug: T190108
Change-Id: Ib199cf700c3235812f7c9a9bcb3703917f0887de

2024-03-19 22:48:17 -04:00

1 commit