2010/9/8 Michael Dale <[email protected]>: > 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&action=raw&ctype=text/javascript > 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) _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
