PHP extension for sockets support
