Gadget-DownloadPDF.js

/**
 * DownloadPDF enables 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' );