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);