Originariamente inviato da DonFabio
Ci fosse una prova che mi riesce...
traduci i 102.3 minuti in secondi. Non so se quel .3 e' in centesimi o sessagesimi. Mettiamo che siano sessagesimi. Saranno 60 * 3 / 10 = 18 secondi cioe' 6*3.

prova:

Codice PHP:
<?php
echo $tc '20:17:18';
list(
$ore$min$sec) = explode(':'$tc);

$ts 102.3;
$ts1 explode('.'$ts);

$ts2 = ($ts1[0] * 60) + ($ts1[1]);
echo 
" - 
"
;
echo 
gmdate('H:i:s'gmmktime(0,0,$ts21,1,1970));
echo 
" = 
---------
"
;
echo 
gmdate('H:i:s'gmmktime($ore$min$sec,1,1970) - gmmktime(0,0,$ts21,1,1970));
?>
edit... ho cambiato "date e mktime" con "gmdate e gmmktime" altrimenti potrebbero nascere problemi con il fuso orario locale....