mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-23 22:03:28 +00:00
90ac9d3475
Move this stuff to Timeless itself since we can just reuse the width cutoff and padding variables directly there and don't need to worry about them randomly changing. Corresponding change: Ic64b9786cb7186dba3eb2042a3238149c3bb44c6 Bug: T230756 Change-Id: Ia7168341bcadbc60e307b58b67afc1975a2424f9 |
||
---|---|---|
.. | ||
lib/codemirror | ||
mode/mediawiki | ||
modules/ve-cm | ||
ext.CodeMirror.js | ||
ext.CodeMirror.less |