php_json_pretty_print_char  167 ext/json/json_encoder.c 				php_json_pretty_print_char(buf, options, '\n');
php_json_pretty_print_char  186 ext/json/json_encoder.c 					php_json_pretty_print_char(buf, options, '\n');
php_json_pretty_print_char  192 ext/json/json_encoder.c 					php_json_pretty_print_char(buf, options, ' ');
php_json_pretty_print_char  202 ext/json/json_encoder.c 					php_json_pretty_print_char(buf, options, '\n');
php_json_pretty_print_char  210 ext/json/json_encoder.c 					php_json_pretty_print_char(buf, options, ' ');
php_json_pretty_print_char  229 ext/json/json_encoder.c 		php_json_pretty_print_char(buf, options, '\n');