mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-09-28 12:46:45 +00:00
30 lines
1 KiB
JavaScript
30 lines
1 KiB
JavaScript