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/mode
History
Pavel Astakhov ac5080f18d add highlighting tag names (v 1.5.0) 
* rename CODEMIRROR_VERSION to EXT_CODEMIRROR_VERSION

Change-Id: I20b1cb872595a1491bb2c0485cb49c68fa908dd0
2014-08-25 16:56:52 +06:00
..
mediawiki add highlighting tag names (v 1.5.0) 2014-08-25 16:56:52 +06:00