function format_json_value(&$value) { if(is_bool($value)) { $value = $value?'true':'false'; }elseif(is_int($value)) { $value = intval($value); }elseif(is_float($value)) { $value = floatval($value); }elseif(defined($value) && $value === null) { $value = strval(constant($value)); }elseif(is_string($value)) { $value = '"'.addslashes($value).'"'; } return $value; }