Added php files referenced in websocket.c