Moin,
die Funktion microtime() funktioniert laut PHP-Handbuch nur auf Systemen, die gettimeofday() unterstützen. Gehört Windows dazu? Oder hängt es darüber hinaus noch von der Windows-Version oder vom Prozessor ab?
Also interpretiert werden beide Funktionen, aber der Mikrosekunden-Anteil ist Käse. Hinzu kommt, dass microtime(true) keinen Float liefert.
Klingt alles sehr nach Dummy-Implementation. Aber wie auch immer - ich würde gerne Zeiten messen, und das macht sich mit time() etwas blöd, weil es nur Sekunden auflöst. Gibt es da andere Möglichkeiten?
Mein System ist übrigens Windows98 auf einem 3000er AMD-Rechner.
Kristian