codice:
function getTime($start = null, $dec = 4) {
// compatibile con PHP 4, 5 e superiori
$now = microtime(true);
if(!is_float($now)) {
list($usec, $sec) = explode(' ', $now);
$now = (float)$usec + (float)$sec;
}
if(is_float($start))
$now = number_format(($now - $start), $dec, '.', '');
return $now;
}
$start = getTime();
//for($a = 0; $a < 10000; $a++) {$a = (int)$a;}
echo "Elapsed: ".getTime($start);
se decommenti la linea col for vedi che funziona bene, in pratica ti serve un number_format per rappresentare in modo comprensibile il dato.
Purtroppo se questo è troppo basso non ha senso mostrarlo ... di solito dopo i decimi di millesimo serve a poco dire c'ho messo tot, la cosa importante è stare sotto i decimi di secondo