[php] Zeitmessung

[Dietmar Becker]

> nach einer Möglichkeit durchsucht, um die Laufzeitlänge eines Scriptes zu
> bestimmen.

Zeit bei Scriptstart und -ende feststellen, die so
entstandene Differenz entspricht der Laufzeit.
Dadurch steigt die Laufzeit des Scriptes minimal an,
was aber vernachlässigbar sein sollte.

Grüsse - Dietmar