Pas mal cette implémentation de websocket en PHP.

avec Nginx version

et la configuration suivante :
location /hello/ {
proxy_pass http://localhost:5001;
proxy_http_version 1.1;
proxy_set_header Upgrade $http_upgrade;
proxy_set_header Connection "upgrade";
}

J'ai juste changé le code pour se connecter à la socket dans front.html comme suit :
var ws, url = 'wss://"domain"/hello/';

et hop ça roule ! ;)

Du coup je fais du websocket en php sous https avec le même port (443) ;) merci nginx.

Il faut juste penser à lancer le "serveur" php via :
php -q ppws_server.php

Testé sous la dernière version de firefox