[php] microtime und Millsekunden

[Ansgar Becker]

ich benötige für diverse benchmarks eine millisekunden-zeit. aber wie kriegt
man die auf einer WAMP ? Das Manual sagt bzgl. microtime() :
This function is only available on operating systems that support the
gettimeofday() system call.
Kann Windoof das nicht ? Die ergebnisse liefern jedenfalls nur blödsinn.