PHP realtime connection with javascript via websocket