PHP converts seconds to duration (h:i:s format)

/** 
 *      把秒数转换为时分秒的格式 
 *      @param Int $times 时间，单位 秒 
 *      @return String 
 */  
function secToTime($times){  
        $result = '00:00:00';  
        if ($times>0) {  
                $hour = floor($times/3600);  
                $minute = floor(($times-3600 * $hour)/60);  
                $second = floor((($times-3600 * $hour) - 60 * $minute) % 60);  
                $result = $hour.':'.$minute.':'.$second;  
        }  
        return $result;  
}