mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 00:30:44 +00:00
5046ff8e75
This fixes all tools being loaded with proper state on mw integration. Bug: 50141 Change-Id: I501b1efec2a2eedbf16a191a8be6b96b02290e09 |
||
---|---|---|
.. | ||
mw | ||
sa | ||
ve.init.js | ||
ve.init.Platform.js | ||
ve.init.Target.js |