wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-12-03 18:26:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
5 commits 12 branches 15 tags 48 MiB
Commit graph

2 commits

Author SHA1 Message Date
Pavel Astakhov 67a828cf3e fix highlighting space behind page name in Templates (v 1.0.1) 
* fix code mirror options
* fix code mirror font
* fix code mirror border

Change-Id: I7b8063cd8c5e6450b9cea0f76ed27a8ffb9ae990
 2014-08-21 11:54:15 +06:00
Pavel Astakhov c8bd7736f9 Initial commit (v 1.0.0) 
* add the highlighting of templates and parser functions

Change-Id: I6f5a0aa701b1b4e58510bf17a25eb1a0e1b5f14a
 2014-08-20 23:03:46 +06:00