php_wddx_destructor 58 ext/wddx/php_wddx_api.h void php_wddx_destructor(wddx_packet *packet); php_wddx_destructor 279 ext/wddx/wddx.c php_wddx_destructor(packet);