mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-16 19:09:29 +00:00
40e45d176a
Bug: 47780 Change-Id: I2f317e1dda2c2e2fceac401768c732dae02e83ce
18 lines
1.1 KiB
XML
18 lines
1.1 KiB
XML