Using the wrapper dev script, the using call should also be pulled into the wrapper. That keeps the main script smaller (and slightly faster) and still allows successful dev uses to be copied (modulo formatting) into the gadget definition.
It is suggesting that there be no mw.loader.using calls in the main script (https://phabricator.wikimedia.org/diffusion/1884/browse/master/proveit.js), and where to put them in general.
There have been changes in this area, but there are currently two such calls.
Under the proposal:
- There would be no mw.loader.using in https://phabricator.wikimedia.org/diffusion/1884/browse/master/proveit.js (but 'mediawiki.toolbar' is a special case because it's conditional, and you might want to keep that one).
- Instead, they would be either in a developer-only wrapper script (if you want to test while developing without loading ProveIt as a gadget), or (for regular users) at https://en.wikipedia.org/wiki/MediaWiki:Gadgets-definition (the way ProveIt-classic is defined with dependencies= and various libraries).
If you test ProveIt in gadget mode, the "developer-only wrapper script" doesn't exist and you can ignore it. As for regular users, defining it in Gadgets-definition probably has performance benefits, since ResourceLoader can optimize the loading.