mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-15 10:19:27 +00:00
806527d8a1
* Fix state toggle in WikiEditor * Update options API code * Fix font-size and line-height so text doesn't move * Append to WikiEditor after loading so it appends in correct part of DOM. * Only add border in classic editor Change-Id: I5e80298030633d4859d01a92b6c61ef1fa969e96 |
||
---|---|---|
.. | ||
mediawiki |