mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-27 23:50:05 +00:00
8f270c34a9
*add highlighting list and indenting *add tags: <noinclude>, <includeonly>, <onlyinclude> *modify highlighting template variable Change-Id: If6ae7d127766c32bc7e3c10b226a74ec97a0848f |
||
---|---|---|
.. | ||
lib/codemirror | ||
mode/mediawiki | ||
ext.CodeMirror.js |