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