mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-12-24 19:43:16 +00:00
b0f9c23790
We forgot to update these as well when we updated the lib. Bug: T258999 Change-Id: I4dba51d82758975e46b75739c02ef2aa6cab5386 |
||
---|---|---|
.. | ||
clike | ||
css | ||
htmlmixed | ||
javascript | ||
php | ||
xml |