Adding WebSocket to include.php.