arginfo_datefmt_set_timezone  342 ext/intl/php_intl.c ZEND_BEGIN_ARG_INFO_EX(arginfo_datefmt_set_timezone, 0, 0, 2)
arginfo_datefmt_set_timezone  717 ext/intl/php_intl.c 	PHP_FE( datefmt_set_timezone_id, arginfo_datefmt_set_timezone )
arginfo_datefmt_set_timezone  719 ext/intl/php_intl.c 	PHP_FE( datefmt_set_timezone, arginfo_datefmt_set_timezone )