PHP connector of PHPsock library which mediates WebSocket communication between JS clients and PHP server.