WebSocket.

Modifier php.ini  en activant les sockets: "extension=php_sockets.dll".
Attention il peut y avoir deux fichiers .ini un pour Apache et un pour
php en ligne de commande.
Exécuter le serveur WebSocket : php -f serverWebSocket.php