Fixed case part of bug #64874 ("json_decode handles whitespace and case-sensitivity incorrectly")
Merge branch 'JSONCaseFix' of git://github.com/TazeTSchnitzel/php-src into TazeTSchnitzel-JSONCaseFix