PHP_JSON_PRETTY_PRINT  116 ext/json/json.c 	PHP_JSON_REGISTER_CONSTANT("JSON_PRETTY_PRINT", PHP_JSON_PRETTY_PRINT);
PHP_JSON_PRETTY_PRINT   77 ext/json/json_encoder.c 	if (options & PHP_JSON_PRETTY_PRINT) {
PHP_JSON_PRETTY_PRINT   87 ext/json/json_encoder.c 	if (options & PHP_JSON_PRETTY_PRINT) {