mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 23:05:35 +00:00
4cd9ab2b88
New changes: 256fa43 A better label for the original size button Change-Id: I828025ac0718f1908089d59a948e1a779da7b915 |
||
---|---|---|
.. | ||
jquery.uls | ||
ve@54ab0cd0ea |