Code

[dedlfix]

Hi!

list($usec, $sec) = explode(" ", microtime());
  $zeit_start = ((float)$usec + (float)$sec);

microtime() kennt seit PHP 5.0 den Parameter get_as_float. Wenn man also ein true (oder 1) übergibt, bekommt man die Zeit direkt als float geliefert.

Lo!