MediaWiki:Gadget-fileDownload.js

/**
 * Adds a download link to file pages
 * 
 * @author Gaz Lloyd
 */
$(function(){
	if (!(mw.config.get('wgNamespaceNumber') === 6  && $('.fullMedia, .filehistory').length > 0)) {
		return;
	}
	function addLinks() {
		// underneath image - also replace filename with page title
		$('.fullMedia a.internal').after(
			' (',
			$('<a>')
				.text('download')
				.addClass('fileDownload')
				.attr({
					href: $('.fullMedia a.internal').attr('href'),
					download: mw.config.get('wgTitle').replace('_', ' '),
					title: 'Download this file'
				}),
			')'
		);
		
		// file history - leave numbers in file name
		$('.filehistory tr td[style]').each(function() {
			var $this = $(this);
			$this.append(
				$('<br />'),
				$('<a>')
					.text('Download')
					.addClass('fileDownload')
					.attr({
						download: '',
						href: $this.find('a').attr('href'),
						title: 'Download this version of this file'
					})
			);
		});
	}
	addLinks()
})