facebook/hhvm — pull request #3470 by SiebelsTim (2014-08-14 20:33:21+00:00)
Title: JSON_NUMERIC_CHECK shouldn't cast keys to numbers

See php bug 55543