tempo esecuzione script

[gio-mx]

Salve, come si fa a stampare il tempo di esecuzione di uno script?

Grazie in anticipo.

[robertes]

Ad inizio pagina

<?

function getmicrotime(){

list($usec, $sec) = explode(" ",microtime());

return ((float)$usec + (float)$sec);

}
$inizio = getmicrotime();

?>

A fine pagina

<?php $tempo = getmicrotime() - $inizio;

echo "

<div align=center>Tempo di esecuzione: $tempo</div>"; 

}

?>

Codice postato da guidoz se nn ricordo male