mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 00:30:44 +00:00
0e973815ee
Apparently this is left over code from when Vector drew the left border as a background. Change-Id: I3a9829ed7ab1bb1f2ad1a1c88aff82b1a2fc456d |
||
---|---|---|
.. | ||
mw | ||
sa | ||
ve.init.js | ||
ve.init.Platform.js | ||
ve.init.Target.js |