date_interval_format()(PHP 5 >= 5.3.0, PHP 7)别名DateInterval::format()说明此函数是该函数的别名:DateInterval::format()