gettimeofday

(PHP 3 >= 3.0.7, PHP 4, PHP 5)

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.