mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-11-27 08:30:26 +00:00
1e646acfdb
Style the textbox to mimic when CodeEditor is enabled only if "usecodeeditor" is set, and only before CodeEditor is loaded (I0ce663e added a gutter even when CodeEditor was turned off, which no one asked for). .wikiEditor-ui-text is added client-side, so there's no point in styling it. Bug: T351487 Change-Id: I3918e1c120805ca007e8e7eb7e29304ddbb6af56 |
||
---|---|---|
.. | ||
Hooks | ||
Hooks.php |