2010/9/8 Michael Dale mdale@wikimedia.org:
This is of course already supported, just not in 'grouped requests'. Open up your scripts tab on a fresh load of http://commons.wikimedia.org/wiki/Main_Page Like 24 or so of the 36 scripts requests on commons are 'arbitrary wiki pages' requested as javascript:
http://commons.wikimedia.org/w/index.php?title=MediaWiki:AjaxQuickDelete.js&...
Yeah, these should be grouped.
Not gadgets in the php extensions sense. Ie MediaWiki:Common.js does a lot of loading
Yes, this is a good reason why we should support loading of arbitrary wiki pages.
and the gadget set is not defined in php on the server.
It's defined on a MediaWiki: page, which is accessed by the server to generate the Gadgets tab in Special:Preferences. There is sufficient server-side knowledge about gadgets to implement them as modules, although I guess we might as well save ourselves the trouble and load them as wiki pages,
Roan Kattouw (Catrope)