将一个以秒为单位的数字间隔时间转换为“时:分:秒”的显示形式

特别提示，php内置函数 gmstrftime 也能达到同样的效果，可以自行网上搜索参考用法。

将一个以秒为单位的数字间隔时间转换为“时:分:秒”的显示形式。

/**
 * 将一个以秒为单位的数字间隔时间转换为“时:分:秒”的显示形式
 * @param int $unixtime
 * @return string
 */
function getTimeHIS($unixtime) {
    $unixtime = (int)$unixtime;

    $hour = intval($unixtime / 3600);
    $hour && $unixtime = $unixtime - $hour * 3600;
    $minute = intval($unixtime / 60);
    $minute && $unixtime = $unixtime - $minute * 60;

    return sprintf('%02d', $hour) . ':' . sprintf('%02d', $minute) . ':' . sprintf('%02d', $unixtime);
}

示例：

echo getTimeHIS(1000); //输出：00:16:40
echo gmstrftime('%H:%M:%S', 1000); //输出：00:16:40