wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-15 02:04:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources
History
Ed Sanders 2518861bc1 build: Update devDependencies 
Change-Id: I2f2967a1525c6a66eba2f5fc225e74b89380c5dd
2020-06-12 22:51:38 +01:00
..
lib Unify monospace font stack. Avoid potential sizing bug caused by weird browser behavior with font-family: monospace; 2020-02-28 04:44:07 +00:00
mode/mediawiki build: Update devDependencies 2020-06-12 22:51:38 +01:00
modules/ve-cm build: Update devDependencies 2020-06-12 22:51:38 +01:00
ext.CodeMirror.js Enable spellchecking on Firefox 2020-02-29 22:54:43 +01:00
ext.CodeMirror.less Don't let CodeMirror set the font to monospace if it's set on an ancestor. 2020-02-29 18:01:27 +00:00