MediaWiki:Gadget-fileDownload.js: Difference between revisions