Convert media duration to hours, minutes, seconds

function secondsToDuration($s) {
	$time = round($s);
	$parts = array();
	while ($time >= 1) {
		array_unshift($parts, $time % 60);
		$time /= 60;
	}
	if ($s < 60) {
		// if it is seconds only, prepend "0:"
		array_unshift($parts, '0');
	}
	$last = count($parts) - 1;
	if ($parts[$last] < 10) {
		$parts[$last] .= '0';
	}
	$duration = join(':', $parts);
	return $duration;
}