mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-12 17:18:41 +00:00
21aec73795
The gutter is still useful even if line numbers are hidden. Change-Id: Ia85ce7cd4987eb0b7022dc35cfd1029fbe78e3dc |
||
---|---|---|
.. | ||
ce | ||
dm | ||
i18n | ||
init | ||
tests | ||
ui |