original_string: static public function secondToTime($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 = str_pad($hour, 2, "0", STR_PAD_LEFT).':'.str_pad($minute, 2, "0", STR_PAD_LEFT).':'.str_pad($second, 2, "0", STR_PAD_LEFT);
          }
  
          return $result;
      }
code: static public function secondToTime($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 = str_pad($hour, 2, "0", STR_PAD_LEFT).':'.str_pad($minute, 2, "0", STR_PAD_LEFT).':'.str_pad($second, 2, "0", STR_PAD_LEFT);
          }
  
          return $result;
      }
code_tokens: static public function secondToTime ( $ 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 = str_pad ( $ hour , 2 , "0" , STR_PAD_LEFT ) . ':' . str_pad ( $ minute , 2 , "0" , STR_PAD_LEFT ) . ':' . str_pad ( $ second , 2 , "0" , STR_PAD_LEFT ) ; } return $ result ; }
docstring: second to time
  @param $times
  @return string
docstring_tokens: second to time