mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-30 17:04:14 +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 |
||
---|---|---|
.. | ||
mediawiki |