mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-02 01:46:47 +00:00
e647e22317
Change-Id: I15e988eebd4d10f07e60895e9a14f87f4af9e7ea
16 lines
1 KiB
XML
16 lines
1 KiB
XML