date_interval_format  442 ext/date/php_date.c 	PHP_FE(date_interval_format, arginfo_date_interval_format)
date_interval_format  527 ext/date/php_date.c 	PHP_ME_MAPPING(format,            date_interval_format,        arginfo_date_method_interval_format, 0)
date_interval_format 4280 ext/date/php_date.c PHP_FUNCTION(date_interval_format)
date_interval_format 4293 ext/date/php_date.c 	RETURN_STR(date_interval_format(format, format_len, diobj->diff));
date_interval_format  106 ext/date/php_date.h PHP_FUNCTION(date_interval_format);