date_interval_format  444 ext/date/php_date.c 	PHP_FE(date_interval_format, arginfo_date_interval_format)
date_interval_format  529 ext/date/php_date.c 	PHP_ME_MAPPING(format,            date_interval_format,        arginfo_date_method_interval_format, 0)
date_interval_format 4370 ext/date/php_date.c 	RETURN_STRING(date_interval_format(format, format_len, diobj->diff), 0);