(unknown)
Returns the system id of the document type.
The following example echos '/share/sgml/Norman_Walsh/db3xml10/db3xml10.dtd'.
Beispiel 1. Retrieving the system id
<?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(); ?>