/** * @param int $version * @see Doctype::$ver */ function html_doctype_set($version) { Doctype::set($version); }