mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-12-01 01:06:09 +00:00
9826cc906f
This is merely a CSS hack which seems to work well for me. The only required JS change is to wrap plain text in section heading in a span, the CSS class of which is unused. Bug: T351686 Change-Id: I17b1f0b7a6fdf9c090309f558349a06ccec4257f |
||
---|---|---|
.. | ||
mediawiki |