[PHP-DEV] [VOTE] Saner string to number comparison

[Nikita Popov]

Hi internals,

I've opened the vote on https://wiki.php.net/rfc/string_to_number_comparison.
Voting closes 2020-07-31.

Regards,
Nikita