1.2.1616. ext/xmlreader¶
Extension XMLReader.
The XMLReader extension is an XML Pull parser. The reader acts as a cursor going forward on the document stream and stopping at each node on the way.
<?php
$xmlreader = new XMLReader();
$xmlreader->xml("<xml><div>Content</div></xml>");
$xmlreader->read();
$xmlreader->read();
$xmlreader->readString();
?>
See also xmlreader.
1.2.1616.1. Specs¶
Short name |
Extensions/Extxmlreader |
Rulesets |
|
Exakat since |
0.8.4 |
PHP Version |
All |
Severity |
|
Time To Fix |
|
Precision |
Very high |
Features |
xml |
Available in |