Update src/json.class.php