mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
d989de5c09
This is run after the targetPromise completes (via the platform-agnostic setDefaultMode proxy), which is the correct time to do so. We should not do this twice, and we definitely shouldn't do this before the target has successfully loaded, lest a user ends up with us setting their option to "prefer" an editor that they actually can't load. Whoops. Bug: T156316 Change-Id: Icf4b5ddd9c8265ade55f43328f807344b41db350 |
||
---|---|---|
.. | ||
ve-mw | ||
ve-wmf/i18n |