nicokaiser/php-websocket — pull request #8 by dominics (2012-06-01 16:14:17+00:00)
Title: Explicitly cast resource types, fixes #7

PHP emits a notice if a resource is directly used as an array index.