php_libxml_shutdown 644 ext/libxml/libxml.c php_libxml_shutdown(); php_libxml_shutdown 97 ext/libxml/php_libxml.h PHP_LIBXML_API void php_libxml_shutdown(void);