This function returns the public id of the document type.
The following example echos nothing.
<?php
include("example.inc");
if(!$dom = domxml_open_mem($xmlstr)) {
echo "Error while parsing the document\n";
exit;
}
$doctype = $dom->doctype();
echo $doctype->public_id();
?>| This HTML Help has been published using the chm2web software. |