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,

[nasty]

[PHP] pobierz, plaintext 
<?php
$time_start = microtime(true);
// .. i tutaj zawodnik biega
$time_end = microtime(true);
$time = $time_end - $time_start;
// $time to jest jego czas w milisekundach
?>
[PHP] pobierz, plaintext 

Jak nie masz php 5 to zrob funkcje microtime recznie o tak:

[PHP] pobierz, plaintext 
<?php
function microtime_float()
{
	list($usec, $sec) = explode(" ", microtime());
	return ((float)$usec + (float)$sec);
}
?>
[PHP] pobierz, plaintext 

to przykład z manuala -- należało lepiej szukać.