Fixed bug #64874 (json_decode handles whitespace and case-sensitivity incorrectly)