MediaWiki:Gadget-Global-DownloadPDF

DownloadPDF enables printing or downloading a specified set of pages