L'extension XMLReader est incluse avec la source de PHP. Cette extension est activée par défaut. Elle peut être désactivée en utilisant l'option de configuration : --disable-xmlreader
