<?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 above example will output:
/share/sgml/Norman_Walsh/db3xml10/db3xml10.dtd