Die Extension "Collection" übernimmt dort auch den PDF Export.
Nur mittels PDF-Datei ist ein gut lesbarer Ausdruck von Wiki-Artikeln möglich.
Könnt Ihr bitte als Ersatz für die in dieser Wiki-Version nicht mehr funktionierenden und deshalb gelöschten Extension:Pdf_Export die Extension:Collection installieren!