add php_create_socket/php_destroy_socket PHP_SOCKETS_API to abel to create socket ressource in other ext