MediaWiki:Gadget-DownloadPDF.js

/** * DownloadPDF interacts with Template:Download PDF to enable printing or downloading a specified set of pages * Documentation: https://www.mediawiki.org/wiki/DownloadPDF * Source code: https://www.mediawiki.org/wiki/MediaWiki:Gadget-Global-DownloadPDF.js */ mw.loader.load( '//www.mediawiki.org/w/load.php?modules=ext.gadget.Global-DownloadPDF' );