datefmt_set_pattern  182 ext/intl/dateformat/dateformat_class.c 	PHP_NAMED_FE( setPattern, ZEND_FN( datefmt_set_pattern ), arginfo_intldateformatter_setpattern )
datefmt_set_pattern  721 ext/intl/php_intl.c 	PHP_FE( datefmt_set_pattern, arginfo_datefmt_set_pattern )