Википедия работает Mediawiki .
Проверка Google сообщает мне, что у них есть два расширения PDF.
Это тот, который все еще поддерживается: PDF_Writer
Он не использует генератор PHP HTML → PDF, (хотя они есть)
На самом деле он делает что-то более хитрое и более умное.
PDF Writer использует Библиотеки Python Reportlab для генерации PDF на основе DOM, полученной из анализа разметки mediawiki с использованием mwlib parser .