mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 14:56:20 +00:00
427406a0bc
We can't go back in this case because the action tabs etc. will be wrong Change-Id: I8e26c43b7735ea8a2ef010bd4141f0ee8d4b1c68 |
||
---|---|---|
.. | ||
ve.init.ViewPageTarget.js |