XML_READER_TYPE_END_ELEMENT  826 ext/xmlreader/php_xmlreader.c 		if (xmlTextReaderNodeType(intern->ptr) == XML_READER_TYPE_END_ELEMENT) {
XML_READER_TYPE_END_ELEMENT 1354 ext/xmlreader/php_xmlreader.c 	REGISTER_XMLREADER_CLASS_CONST_LONG("END_ELEMENT",	XML_READER_TYPE_END_ELEMENT);