PHP_JSON_ERROR_CTRL_CHAR  129 ext/json/json.c 	PHP_JSON_REGISTER_CONSTANT("JSON_ERROR_CTRL_CHAR", PHP_JSON_ERROR_CTRL_CHAR);
PHP_JSON_ERROR_CTRL_CHAR  301 ext/json/json.c 		case PHP_JSON_ERROR_CTRL_CHAR:
PHP_JSON_ERROR_CTRL_CHAR  241 ext/json/json_scanner.c 			s->errcode = PHP_JSON_ERROR_CTRL_CHAR;
PHP_JSON_ERROR_CTRL_CHAR  248 ext/json/json_scanner.c 		s->errcode = PHP_JSON_ERROR_CTRL_CHAR;
PHP_JSON_ERROR_CTRL_CHAR  616 ext/json/json_scanner.c 		s->errcode = PHP_JSON_ERROR_CTRL_CHAR;