Extension:Pdf Export/Source Code

Overview
This is the source code for Pdf Export extension. There are four files. Copy each of the following into the files as indicated or use this script to get these files via the commandline.

PdfExport.php
Put the following into $IP/extensions/PdfExport/PdfExport.php:

PdfExport_body.php
Put the following into $IP/extensions/PdfExport/PdfExport_body.php:

PdfExport.i18n.php
Put the following into $IP/extensions/PdfExport/PdfExport.i18n.php:

PdfExport.i18n.alias.php
Put the following into $IP/extensions/PdfExport/PdfExport.i18n.alias.php: