mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 14:56:20 +00:00
750ab24d31
Change-Id: Id5b74916502ea3f94c79968e2dd7f64a563896ce
16 lines
1 KiB
XML
16 lines
1 KiB
XML