replaces json_encode_pretty