mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-26 07:15:32 +00:00
e484522161
Previously, we changed it on every load, which also occurs when switching editor modes. That caused it to not be restored when editor was closed. Bug: T197490 Change-Id: Icb20c38309fd440553d5245d865b05145542313f |
||
---|---|---|
.. | ||
ce | ||
dm | ||
init | ||
tests | ||
themes | ||
ui | ||
ve.MWutils.js |