arginfo_numfmt_set_symbol  277 ext/intl/php_intl.c ZEND_BEGIN_ARG_INFO_EX(arginfo_numfmt_set_symbol, 0, 0, 3)
arginfo_numfmt_set_symbol  664 ext/intl/php_intl.c 	PHP_FE( numfmt_set_symbol, arginfo_numfmt_set_symbol )