call_dtor         511 main/streams/filter.c PHPAPI php_stream_filter *php_stream_filter_remove(php_stream_filter *filter, int call_dtor)
call_dtor         528 main/streams/filter.c 	if (call_dtor) {
call_dtor         132 main/streams/php_stream_filter_api.h PHPAPI php_stream_filter *php_stream_filter_remove(php_stream_filter *filter, int call_dtor);