php 把秒数转换为时长(h:i:s格式)

1. /** 
2.  *      把秒数转换为时分秒的格式 
3.  *      @param Int $times 时间，单位 秒 
4.  *      @return String 
5.  */  
6. function secToTime($times){  
7.         $result = '00:00:00';  
8.         if ($times>0) {  
9.                 $hour = floor($times/3600);  
10.                 $minute = floor(($times-3600 * $hour)/60);  
11.                 $second = floor((($times-3600 * $hour) - 60 * $minute) % 60);
12. 
    
13.   

    $hour = strlen($hour) == 1 ? '0' . $hour : $hour;
    $minute = strlen($minute) == 1 ? '0' . $minute : $minute;
    $second = strlen($second) == 1 ? '0' . $second : $second;

14.                 $result = $hour.':'.$minute.':'.$second;  
15.         }  
16.         return $result;  
17. }