[PHP-DEV] [RFC] Polling API Additions

[Jakub Zelenka]

Hi,

I would like to introduce the Polling API Additions RFC:

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

This is follow up to Polling API RFC.

Kind regards,

Jakub