search

varspool / Wrench

A simple PHP WebSocket implementation for PHP 7.1
Do What The F*ck You Want To Public License
596 stars 210 forks source link

Explicitly cast resource types, fixes #7 #8

Closed dominics closed 12 years ago

dominics commented 12 years ago

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