arginfo_intldateformatter_setlenient  140 ext/intl/dateformat/dateformat_class.c ZEND_BEGIN_ARG_INFO_EX(arginfo_intldateformatter_setlenient, 0, 0, 1)
arginfo_intldateformatter_setlenient  175 ext/intl/dateformat/dateformat_class.c 	PHP_NAMED_FE( setLenient, ZEND_FN( datefmt_set_lenient ), arginfo_intldateformatter_setlenient )