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
James D. Forrester 8ac2d11b1b Drop support for MediaWiki core's removed "2006 wikitext editor" 
Change-Id: Ib8d104ddf104cfeeee1fc7a055293a03fe8e2d3d
2018-10-25 14:06:59 -07:00
..
lib/codemirror Remove unused mode files 2018-02-28 12:24:30 +00:00
mode/mediawiki build: Update linters 2018-09-12 00:03:19 +01:00
modules/ve-cm ve.ui.CodeMirror: Fix padding to match VisualEditor's padding 2018-09-27 22:06:00 +02:00
ext.CodeMirror.js Drop support for MediaWiki core's removed "2006 wikitext editor" 2018-10-25 14:06:59 -07:00
ext.CodeMirror.less Drop support for MediaWiki core's removed "2006 wikitext editor" 2018-10-25 14:06:59 -07:00