gettimeofday
(PHP 3>= 3.0.7, PHP 4 )
gettimeofday -- Geef de huidige tijd
Beschrijving
array
gettimeofday ( void)
Dit is een interface naar gettimeofday(2). Het retourneert
een associatieve array met de data die teruggegeven wordt van
de system call.