add PHPDocs in html.php