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

:
<?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
?>
Poniżej moze podam przyklad jak to zrobic ale nie uwzgeldniajac milisekund:
<?php
$sTimeB = 12:00:00;
$sTimeA = 13:12:05;
?>
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.