wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2025-01-05 17:24:13 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources/dist
History
MusikAnimal 5fe4ab8d58 CodeMirror: load colorblind theme when preference is set 
This is only done for wikitext, as the stylesheet only references
.cm-mw-* classes.

Change-Id: I15a82c7680a12fb10baff4a2e78626677536c291
2024-02-13 14:57:42 -05:00
..
main.js CodeMirror: load colorblind theme when preference is set 2024-02-13 14:57:42 -05:00
main.js.map.json CodeMirror: load colorblind theme when preference is set 2024-02-13 14:57:42 -05:00