mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 10:35:48 +00:00
11ac2736a1
1. It wastes valuable time during setup. 2. If a user reloads the page without making changes we should give them the latest html from the server to minimise the chance of an edit conflict. Change-Id: I9a1f8cfd65ef2552fe2c3d6d2bbf975851b52003 |
||
---|---|---|
.. | ||
ve-mw | ||
ve-mw-collab |