Gadget export

To export the GetCollection gadget, click on "Download" button, save the downloaded file,
go to Special:Import on destination wiki and upload it. Then add the following to MediaWiki:Gadgets-definition page: