php_libxml_shutdown  867 libxml/libxml.c 	php_libxml_shutdown();
php_libxml_shutdown  103 libxml/php_libxml.h PHP_LIBXML_API void php_libxml_shutdown(void);