wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-15 10:19:27 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources
History
jenkins-bot 0418e65cad Merge "Add colorblind-friendly scheme"
2022-04-08 13:52:34 +00:00
..
addon Enable eslint for our custom code in the matchbrackets addon 2022-03-03 21:07:19 +00:00
lib Enable line numbering 2021-04-08 09:53:23 +02:00
mode/mediawiki Merge "Add colorblind-friendly scheme" 2022-04-08 13:52:34 +00:00
modules/ve-cm Add colorblind-friendly scheme 2022-04-08 14:12:43 +02:00
.eslintrc.json eslint: Lint Gruntile.js using server rules 2022-02-07 16:25:32 +00:00
ext.CodeMirror.js Merge "Add colorblind-friendly scheme" 2022-04-08 13:52:34 +00:00
ext.CodeMirror.less Support WikiEditor's realtime-preview feature 2022-03-24 12:02:03 +08:00