mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 14:56:20 +00:00
40e45d176a
Bug: 47780 Change-Id: I2f317e1dda2c2e2fceac401768c732dae02e83ce
439 KiB
439 KiB