wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2025-01-09 03:04:22 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources/dist
History
MusikAnimal c1af5e11e0 CodeMirror: add stability flags and document properties 
These methods will be used by other modes and/or extensions,
and as per the frontend stable interface policy, they should
be marked as stable.

Also permit callers to pass in a HTMLTextAreaElement, jQuery
object, or a CSS query string.

Change-Id: Iec57bf8fe4086faf57b3cc10834baaa27af80b85
2023-12-13 01:19:34 -05:00
..
main.js CodeMirror: add stability flags and document properties 2023-12-13 01:19:34 -05:00
main.js.map.json CodeMirror: add stability flags and document properties 2023-12-13 01:19:34 -05:00