Questo va installato sul server e viene usato da Typo3, converte da html a PDF
http://www.easysw.com/htmldoc/

Potrei non essere aggiornato ma non mi risulta che ci siano estensioni PHP che convertono direttamente da html a pdf