[PHP-DEV] [VOTE] Remove hex support in numeric strings

[Nikita Popov]

Hi internals!

The RFC proposing to remove support for hexadecimal strings in
is_numeric_string() is now in voting:

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

Thanks,
Nikita