PROGRAMS BY bunix.de/index.php?key=projekte-mediawiki+pdf+export

Mediawiki-PDF is a mediawiki extension to convert wiki articles into PDF Documents. The extension uses HTMLDOC to convert the wiki pages from plain HTML into PDF.