?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 function returns the public id of the document type.