Fixing use of fourth argument in json_decode() for PHP <5.4.