PHP_JSON_UNESCAPED_UNICODE  117 ext/json/json.c 	PHP_JSON_REGISTER_CONSTANT("JSON_UNESCAPED_UNICODE", PHP_JSON_UNESCAPED_UNICODE);
PHP_JSON_UNESCAPED_UNICODE  306 ext/json/json_encoder.c 	if (options & PHP_JSON_UNESCAPED_UNICODE) {
PHP_JSON_UNESCAPED_UNICODE  324 ext/json/json_encoder.c 		if (us >= 0x80 && !(options & PHP_JSON_UNESCAPED_UNICODE)) {