mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-16 10:59:56 +00:00
40e45d176a
Bug: 47780 Change-Id: I2f317e1dda2c2e2fceac401768c732dae02e83ce
23 lines
1.5 KiB
XML
23 lines
1.5 KiB
XML