It had been quite some years since I last looked at the options for PDF generation in PHP, so when I needed to add PDF support to Brandfeed I did a bit of research. I ended up on this Stackoverflow thread which overall seems to recommend TCPDF with some fairly strong supporters for other libraries, including mPDF.