arginfo_intldateformatter_settimezoneid  132 ext/intl/dateformat/dateformat_class.c ZEND_BEGIN_ARG_INFO_EX(arginfo_intldateformatter_settimezoneid, 0, 0, 1)
arginfo_intldateformatter_settimezoneid  171 ext/intl/dateformat/dateformat_class.c 	PHP_NAMED_FE( setTimeZone, ZEND_FN( datefmt_set_timezone ), arginfo_intldateformatter_settimezoneid )