mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-12-18 00:30:30 +00:00
08730d2a85
This is a short-gap measure to make the 2017 editor + dark theme more readable. Implementing a dark theme for all of the MediaWiki tokens will come in a future patch. Bug: T365311 Change-Id: Ie56b88960eb0d27e9a1f821101dfa14af37c0130 |
||
---|---|---|
.. | ||
tests/qunit | ||
colorblind-colors.less | ||
mediawiki.js | ||
mediawiki.less |