wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-23 22:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources/dist
History
MusikAnimal 7856e62dea CodeMirror: +rectangularSelection and crosshairCursor as def extensions 
These were default in CM5

To be added to the preferences panel once that's a thing (T359498)

Change-Id: I5a8b330444dd2dff0acfbd8e2d429a5b5273cd61
2024-05-21 22:52:08 -04:00
..
codemirror.js CodeMirror: +rectangularSelection and crosshairCursor as def extensions 2024-05-21 22:52:08 -04:00
codemirror.mediawiki.js CodeMirrorModeMediaWiki: put bidi isolation behind URL feature flag 2024-04-14 17:05:39 -04:00
codemirror.mode.mediawiki.js CodeMirrorModeMediaWiki: one-line definition list 2024-04-29 09:44:27 +08:00
codemirror.wikieditor.js CM6: Rework ResourceLoader modules 2024-04-15 12:40:16 -04:00
codemirror.wikieditor.mediawiki.js CM6: Rework ResourceLoader modules 2024-04-15 12:40:16 -04:00
vendor.js CodeMirror: +rectangularSelection and crosshairCursor as def extensions 2024-05-21 22:52:08 -04:00