?php include( "example.inc"); if(!$dom = domxml_open_mem($xmlstr)) {echo "Error while parsing the document\n"; exit;} $doctype = $dom - doctype(); echo $doctype - system_id();?
The following example echos '/share/sgml/Norman_Walsh/db3xml10/db3xml10.dtd'.