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/mode/mediawiki
History
Niharika29 e8fa11ec94 Design fixes for Codemirror 
Bug: T165178
Change-Id: If5b7c0807ff6fcdb30e1b8fe935b53ee0ca46a0d
2017-07-06 15:03:09 -07:00
..
img Compress PNGs with zopflipng 2016-02-20 22:57:24 +00:00
mediawiki.css Design fixes for Codemirror 2017-07-06 15:03:09 -07:00
mediawiki.js Refactor the Integration with other extensions (v 4.0.0) 2017-05-04 21:20:21 +01:00