Pdf Export in MediaWiki

Hello everybody,

Does anybody have successfully installed an extension for MediaWiki allowing the export of a page in PDF ?

I have tried with dompdf, but I’m always facing an error…

What I would like is simply generating a pdf page out of the html display I have on the screen, so I can send a document to people that do not have access to the wiki.

Thank you in advance for any answer and support !

Best regards,