mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 14:56:20 +00:00
2ea1eec10c
The experience should be consistent between mobile and desktop. We should explore re-styling these buttons to look like Ib3c94d19231b018a509b78269001223ad0568795 in desktop as well at a later date. Change-Id: Ic9e4c5d12c3c75fcb195432c9155ec0a7eecac04 |
||
---|---|---|
.. | ||
ve-mw | ||
ve-wmf/i18n |