Obliczanie strat czasowych [PHP] Opcje

[Zakhary]

Witam.

Chciałbym w automatyczny sposób policzyć w PHP straty czasowe między danymi zawodnikami, jednak nie mam żadnego pomysłu jak to można zrobić.

Dane są zawarte w pliku .txt Przykład:

Kod

14073 [MAF]Snoops
14081 itoxic
14090 [rsd]spz
14091 [RSD]Neelix
14097 [b1lly]
14098 [AK47]K1ll3R
14112 Grzesiek
14115 roflbananalemon
14118 los_santos
14124 [PR]stormey
14130 [NL]_DreameR
14131 raidu

format to xxyyzzz czyli xx:yy,zzz np 61 (minuty) : 14 (sekundy) , 365 (tysięczne)

W jaki sposób dałoby się zrobić, aby każda czasówka była pobierana jako oddzielna wartość? Umożliwiłoby wtedy to liczenie. Powstaje jednak pytanie jak to potem policzyć w tym formacie. Jakieś pomysły?

Powinno, więc to działać na zasadzie
1. CZAS NICK
2. CZAS NICK +x,xxx do czasu nr1

[Uriziel01]

Najprościej napisz jakąś prostą funkcję która po prostu przerobi to na ilość sekund. Po co męczyć się z tak nie logicznym formatem.
Najprościej czymś w stylu:

[PHP] pobierz, plaintext 
function _convert_to_miliseconds($time)
{
	$minutes = substr($time,0,2);
	$seconds = substr($time, 2,2);
	$miliseconds = substr($time, 4);
	$result = $minutes * 60000;
	$result += $seconds * 1000;
	$result += $miliseconds;
	return $result;
}
[PHP] pobierz, plaintext 

Ten post edytował Uriziel01 11.02.2012, 19:53:21

[Zakhary]

Napisałem tak:

Kod

function format_time($t1, $t2) // t = miliseconds
{
$t = $t1 - $t2;
$minutes = floor($t / 60000);
$seconds = sprintf('%02d',floor(($t / 1000) % 60));
$ms = sprintf('%03d', $t % 1000);
return $minutes . ":" . $seconds . "." . $ms;
}

echo '+ '. format_time(16789, 14000) .'<br />';
echo '+ '. format_time(15000, 14000) .'<br />';
echo '+ '. format_time(15457, 14000) .'<br />';

Chciałbym teraz zrobić formularz do wysyłania czasów do obliczenia do MySQL, tak, aby PHP mogło pobrać, obliczyć, i pokazać na stronie. Jak można by to wykonać?