arginfo_datefmt_format  353 ext/intl/php_intl.c ZEND_BEGIN_ARG_INFO_EX(arginfo_datefmt_format, 0, 0, 0)
arginfo_datefmt_format  724 ext/intl/php_intl.c 	PHP_FE( datefmt_format, arginfo_datefmt_format )