tempo generazione pagina

[Sechi Paolo]

Salve a tutti.
Mi servirebbe un aiuto per creare uno script che mi permetta di visualizzare il tempo di generazione di una pagina.
In molti siti ho visto che nel fondo scrivono:
"tempo generazione pagina 0,0,17 secondi"

mi piacerebbe fare qualcosa del genere. Ho cercato suk forum e su google senza risolvere nulla.

HELP!!

[nicola75ss]

Inizializzi $inizio all'inizio della pagina
<?php
function getmicrotime(){
list($usec, $sec) = explode(" ",microtime());
return ((float)$usec + (float)$sec);
}
$inizio = getmicrotime();

Esegui tutto il codice che ti interessa e quando finisci calcoli quanto tempo è trascorso.

$tempo = getmicrotime() - $inizio;
echo $tempo;
?>

[Sechi Paolo]

Ti ringrazio, ho risolto!!