mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 10:35:48 +00:00
4f5c27be09
This provides a consistent entry point for registering plugins on both desktop and mobile, without needing to do strange things if the right ResourceLoader module hasn't loaded yet. Without this, registering a plugin module in JS requires ugly code, and on mobile it wasn't possible at all. Bug: T267692 Change-Id: Ie2c320c33ec2b064fba4fb45ba62545b9211439a |
||
---|---|---|
.. | ||
ce | ||
dm | ||
init | ||
preinit | ||
tests | ||
themes | ||
ui |