Update PHPDocs for HTMLGenerator