mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 10:35:48 +00:00
7239519e55
New changes: 78adf7169 DiffElement: Apply margin adjustment to ul as well in labels ddeb45364 Localisation updates from https://translatewiki.net. bca1212a4 Use paste API if *any* important elements have been dropped Bug: T188389 Bug: T190023 Change-Id: I9aac91d3decf2e62bd773341f22ef0562b4180b9 |
||
---|---|---|
.. | ||
Easy-Deflate | ||
ve@bca1212a4f |