[php] microtime funktioniert nicht korrekt bei PHP 4.3.10-18

[EDatabaseError]

Zitat von S2B:

Wenn du es dir einfacher machen willst, nimm sowas:

Code:

function generation_time($handle)
{
  static $handles = array();

  if (!isset($handles[$handle]))
  {
    $handles[$handle] = microtime_float();
  }
  else
  {
    return microtime_float() - $handles[$handle];
  }
}

Das hat den Vorteil, dass die Variable garantiert nicht überschrieben wird.

microtime_float gibts imho erst ab PHP5 und wie sollte ich diese Funktion denn anwenden - beispiel wäre sehr hilfreich danke