php/php-src — pull request #780 by nikic (2014-08-19 18:05:16+00:00)
Title: Remove hex support from is_numeric_string

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