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.

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: