[php] Przeliczenie czasu z godzin na minuty Opcje

[primo]

Witam,

dumam, dumam i nie mogę wydumać, jak przeliczyć czas wpisany w formacie 3:12:30 na minuty, czyli 192,30 (IMG:http://forum.php.pl/style_emoticons/default/questionmark.gif)

[primo]

Odrobinę ulepszona, wydaje mi się finalna wersja funkcji Timeformat:

[PHP] pobierz, plaintext 
<?php
public function timeFormat($sec){ 
   $d=array(); 
   if ($sec>3600){ 
	  $h=floor($sec/3600); 
	  if($h<10) $d[]='0'.$h; else $d[]=$h; 
	  $sec-=$h*3600; 
   } else { 
	  $d[]='00'; 
   } 
   if ($sec>60){ 
	  $m=floor($sec/60); 
	  if($m<10) $d[]='0'.$m; else $d[]=$m; 
	  $sec-=$m*60; 
   } else { 
	  $d[]='00'; 
   }	   
   $s=floor($sec); 
   if($s<10) $d[]='0'.$s; else $d[]=$s;	
   return join(':',$d); 
   }
?>
[PHP] pobierz, plaintext 

Mam pytanko jednak jeszcze, czy php potrafi być dokładny (IMG:http://forum.php.pl/style_emoticons/default/questionmark.gif) Przykładowo, gdy biegnę na 10000m i uzyskam czas 40:08 to powinno wyliczyć każdy km po 4:01, jednak wylicza mi każdy po 4:00 a dopiero ostatni km wylicza w czasie 4:08 -- może się czepiam, ale tak się tylko pytam czy jest możliwość zwiększenia dokładności.