La extensión XMLReader viene con el código fuente PHP.
Esta extensión está activada por defecto. Puede ser desactivada utilizando la opción de configuración:
--disable-xmlreader
↑ and ↓ to navigate •
Enter to select •
Esc to close • / to open
Press Enter without
selection to search using Google