A more readable secondsToPlaylistTime() function

This commit is contained in:
paul 2006-12-08 04:30:22 +00:00
parent c1d4c33b31
commit 3e5f74e29e
1 changed files with 6 additions and 9 deletions

View File

@ -1085,16 +1085,13 @@ class Playlist extends StoredFile {
* @return string * @return string
* time in playlist time format (HH:mm:ss.dddddd) * time in playlist time format (HH:mm:ss.dddddd)
*/ */
public static function secondsToPlaylistTime($s0) public static function secondsToPlaylistTime($seconds)
{ {
$m = intval($s0 / 60); $hours = floor($seconds / 3600);
$r0 = $s0 - $m*60; $seconds -= $hours * 3600;
$h = $m / 60; $minutes = floor($seconds / 60);
$m = $m % 60; $seconds -= $minutes * 60;
$s = intval($r0); $res = sprintf("%02d:%02d:%02d.000000", $hours, $minutes, $seconds);
$r = $r0 - $s;
$res = sprintf("%02d:%02d:%02d", $h, $m, $s);
$res .= str_replace('0.', '.', number_format($r, 6, '.', ''));
return $res; return $res;
} }