[PHP-DEV] [RFC] Polling API

[Jakub Zelenka]

Hello,

I would like to introduce a new polling API RFC that is part of my stream
evolution work:

https://wiki.php.net/rfc/poll_api

Kind regards,

Jakub