network socket interface support for PHP
