Update html5_doctype.php