mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-13 17:48:17 +00:00
ec47d4887b
I don't think it make sense to always fallback to the inital mode. The wikipage.diff hook can be fired from 3rd parties to update the diff. If the users then changes the mode inbetween without a page reload, every following diff page update should have the latest option as a default instead of the original option. Bug: T346369 Change-Id: I2d0f6cbb89a2d98f247fcd77fa4d79708a4220c1 |
||
---|---|---|
.. | ||
editcheck | ||
ve-mw | ||
ve-mw-collab | ||
.eslintrc.json | ||
eslint-shared.json |