Operacje na czasie - milisekundy Opcje

[cast]

Chciałbym zrobić kilka operacji na czasie mianowicie:


Mam start zawodnika w biegu przełajowym np: 12:23:00

Czas przybycia na metę 13:28:17,45 - po przecinku milisekundy

i teraz potrzebuje obliczyć jaki miał czas dany zawodnik w milisekundach oczywiście...

Ktoś mógłby pomóc...(IMG:http://forum.php.pl/style_emoticons/default/questionmark.gif)

z góry dziękuje,

pozdrawiam,

[nospor]

[PHP] pobierz, plaintext 
<?php
function toMiliS($time){
	$ar = explode(',',$time);
	return strtotime($ar[0])*1000+(!empty($ar[1]) ? (int)$ar[1] : 0);
}
 
$zm = toMiliS('12:23:00');
$zm2 = toMiliS('13:28:17,45');
echo '<br />Milis: '.($zm2-$zm);
echo '<br />Sekund: '.($zm2-$zm)/1000;
?>
[PHP] pobierz, plaintext 

edit: nie widzialem edita twojego