On 15/02/2020 14:32, Mark Randall wrote:
Greetings,
https://wiki.php.net/rfc/get_debug_type

Just a heads up that I will be putting this to the vote tomorrow.

As this seems fairly uncontroversial, and in the absence of any well-supported suggestions, the vote will be on adding this as get_debug_type.

Unless someone chimes in with a major objection, I do not plan on having a separate vote on the "resource (type)" style and will include it by default.

--
Mark Randall
marand...@php.net

--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to