Wrench is a simple websocket server and client package for PHP 5.3/5.4, using streams.
Wrench was previously known as php-websocket. Why the name change? See Frequently Asked Questions about the PHP License. Also, the namespace WebSocket is too generic; it denotes a common functionality, and may already be in use by application code. The BC break of a new major version was a good time to introduce this move to best practices.