if json_decode() is missing on server, it is being created by json/Json.php, so the function always exists