MediaWiki:Gadget-DownloadPDF.js：修订间差异

2025年4月9日 (三) 09:55的最新版本

/**
 * 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' );
//mw.loader.load( '//docs.guohao.asia/w/load.php?modules=ext.gadget.Global-DownloadPDF' );