使用php更改时间输出

我有一个时间平均总数，它是从一个整数转换的时间计算出来的

average = 0:0:20

我想这样更改其输出：

average = 00:00:20

顺便说一下，这是我用来计算时间平均值的代码：

$ans = $times / $displaycount;
$hh = floor($ans / 3600);
$mm = floor(($ans - ($hours*3600)) / 60);
$ss = floor($ans % 60);

$timeavg = $hh.':'.$mm.':'.$ss;

echo "average = ". $timeavg;

试一试

---

我建议使用如下格式功能：

$timeavg=sprintf（“%02d:%02d:%02d'，$hh、$mm、$ss）；

$str= '0:0:20';
echo date('H:i:s', strtotime($str)); //output :- 00:00:20