PHP_HTTP_API void php_http_resource_factory_free(php_http_resource_factory_t **f)
{
if (*f) {
php_http_resource_factory_dtor(*f);
PHP_HTTP_API void php_http_resource_factory_free(php_http_resource_factory_t **f)
{
if (*f) {
php_http_resource_factory_dtor(*f);