Some helper classes to manipulate PDF files in PHP with the Pdftk library