mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-04 18:58:37 +00:00
38e3c3fbdb
Depends lightly on a patch to WikiEditor, which will hook up the logging there for the case where the switch is happening from WikiEditor to VisualEditor on the same pageload. Bug: T221191 Change-Id: Ibafec77b2eabd3b3b3767472b7b5a40e3312bf18 |
||
---|---|---|
.. | ||
ce | ||
dm | ||
init | ||
tests | ||
themes | ||
ui | ||
ve.MWutils.js |