date_interval_format  418 date/php_date.c 	PHP_FE(date_interval_format, arginfo_date_interval_format)
date_interval_format  468 date/php_date.c 	PHP_ME_MAPPING(format,            date_interval_format,        arginfo_date_method_interval_format, 0)
date_interval_format 3757 date/php_date.c 	RETURN_STRING(date_interval_format(format, format_len, diobj->diff), 0);