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,

[cast]

Chlopaki skopiowac z manuala to ja tez potrafie, gdybym wiedzial jak to zrobic to bym glowy nie zawracal...

w Manualu pisze:

microtime -- Zwraca aktualny uniksowy znacznik czasu z mikrosekundami

Ale ja nie chce zwracac aktualnego czasu uniksowego znacznika czasu z serwera gdyz ja mam juz czas i to podany bardzo konkretnie.

Wydlug waszych wypowiedzi mam zrobic tak, jakos mam wrazenie ze to nie zadziala (IMG:http://forum.php.pl/style_emoticons/default/winksmiley.jpg) :

[PHP] pobierz, plaintext 
<?php
$time_start = '12:00:00,00';
 
// .. i tutaj zawodnik biega
 
$time_end = '13:23:45,34';
 
$time = $time_end - $time_start;
 
// $time to jest jego czas w milisekundach
?>
[PHP] pobierz, plaintext 

Poniżej moze podam przyklad jak to zrobic ale nie uwzgeldniajac milisekund:

[PHP] pobierz, plaintext 
<?php
$sTimeB = 12:00:00;
$sTimeA = 13:12:05;
 
$czas = gmstrftime("%H:%M:%S", strtotime($sTimeB) - strtotime($sTimeA);
?>
[PHP] pobierz, plaintext 

Dostaje wynik w postaci: 01:12:05

Dokladnie o to samo mi chodzi ale z uwzglednieniem milisekund...

Czy osoba ktora wie jak to zrobić mogłaby mi podać kod jak to zrobić tak jak ja podałem powyżej.

Ten post edytował cast 26.01.2007, 12:53:34