A simple PHP WebSocket implementation for PHP 5.3