[Wikitech-l] MediaWiki 1.19, Resource Loader, Gadgets, and User Scripts