xmlreader_read_property 1337 ext/xmlreader/php_xmlreader.c 	xmlreader_object_handlers.read_property = xmlreader_read_property;
xmlreader_read_property 1342 ext/xmlreader/php_xmlreader.c 	xmlreader_object_handlers_ze1.read_property = xmlreader_read_property;