Display the drop-down list

gettimeofday()

« getservbyport | gettype »
<?php
$mixed 
gettimeofday (
    
?  // [bool $return_float = false]
);
?>
Result
$mixed = [
  
'sec' => 1502904030,
  
'usec' => 551850,
  
'minuteswest' => -120,
  
'dsttime' => 1,
]
Examples
#1 gettimeofday  ()
#2 gettimeofday  (true)