Update doctypes.php