json_encode()
json_encode(\unknown_type $a) : \unknown
This function is from http://de2.php.net/manual/en/function.json-encode.php#82904
It can replace the native json_encode function of php. It is only included if the native function is not found. (this can happen if we run an older php version)
Parameters
\unknown_type | $a |