mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-26 15:21:51 +00:00
18f8697703
The bug this works around seems to be fixed. Change-Id: I62837ad795ee6bd35663b163f6de76572e1a6594 |
||
---|---|---|
.. | ||
ve-mw | ||
ve-mw-collab |