Hier mal ein Tut zum berechnen der Erstellungsdauer einer PHP-Datei:
#Am Anfang der Datei:
$zeit = time() + microtime();
#Dann kommt die ganze PHP-Datei . . .
#Am Ende der Datei:
$zeit2 = time() + microtime();
$zeit = $zeit2 - $zeit;
echo '<BR></B>Diese seite wurd in '.round($zeit, 3).' Sekunden generiert.<B>';
Erläuterung:
$zeit = time() + microtime();
Hier wird in die Variable $zeit eine Zeitmarke(time()), addiert mit den Tausenstelsekunden (microtime()) gespeichert.
Die gleiche Prozedur wird mit $zeit2 am Ende der Datei gemacht.
$zeit = $zeit2 - $zeit;
Hier werden die beiden Zahlen von einander abgezogen.
Übrig bleibt die Variable $zeit , in der die Vergangene Zeit gespeichert ist.
Ganz am Schluss wird das ganze noch in einen Satz verpackt und mit round() auf 3 Stellen gerundet.
Die Ausgabe sieht dann so aus:
Diese Seite wurd in 0.414 Sekunden generiert.