Dat is wel gewoon snel. Maar zolang je niet teveel rare query's in de database uitvoert en andere maffe dingen doet is dat best haalbaar.

Daarbij moet je het niet als de laadtijd ziet, het is tenslotte enkel de generatie tijd, het werkelijke laden van de pagina duurt veel langer.

Dat kun je heel wat simpeler doen,

$parsetijd = microtime();
//Hier de rest!
echo $parsetijd

Als je het mooi afgerond wil hebben moet je gewoon Round($parsetijd, 5) gebruiken.

http://nl2.php.net/microtime
Volgens die pagina is mictotime() een preciesere time()

Dus wat jessewillem zegt klopt niet...

Darsstar, Ik gebruik gewoon de functie die jij al aangeeft, microtime(). Echter heb ik het script wat simpeler gemaakt van de TS.