PHPSocketIO gateway based on elephant io