Datum/tijd
PHP Manual

gettimeofday

(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.


Datum/tijd
PHP Manual