Jak určit dobu generování PHP stránky?

Něco takovýho jsem viděl na linuxsoft a to mě vypsalo jenom nějaký čísla a písmena :-<. Takže mě by to taky zajímalo jak se to dá zjistit.

Stopnete si aktualni cas na zacatku, na konci, a odectete :-) Leo

$time_start = microtime_float();

Nějaký script

$time_end = microtime_float();

echo $time_end - $time_start;

ja to mam udelano takto:
na zacatku mam toto:
$ZacatekHledani = array_sum(explode(" ",microtime()));

a na konci scriptu:

echo "Doba prace scriptu trvala: " . round((array_sum(explode(" ",microtime())) - $ZacatekHledani),4) . " sekund.\n";

microtime_float tuším běhá jenom v php5. V php 4 je třeba se spohojit s microtime.
V manuálnu je ale hotové řešení, jak pomocí microtime udělat microtime_float.

ja mam na svem free hostingu php4 a co jsem napsal, vyz predchozi prispevek ode me, tak funguje super. Pouzivam to na zobrazeni casu jak dlouho script hledal urcity vyraz...

<?php
function getMicroTime()
{
List ($usec, $sec) = Explode (' ', microtime());
return ((float)$sec + (float)$usec);
}

$start = getMicroTime()
?>

HTML nebo PHP skript

<?php
$end = getMicroTime();
printf ("Stránka byla načtena za %d sekund", ($end-$start));
?>

Já používám třídu Timer od tarka.