mirror of
https://github.com/php/php-src.git
synced 2026-03-29 19:52:20 +02:00
* pull-request/898: add php_create_socket/php_destroy_socket PHP_SOCKETS_API to abel to create socket ressource in other ext
* pull-request/898: add php_create_socket/php_destroy_socket PHP_SOCKETS_API to abel to create socket ressource in other ext