Display the drop-down list

gettimeofday()

« getservbyport | gettype »
<?php
$mixed = gettimeofday (
     ✓?  // [bool $return_float = false]
);
?>
Result
$mixed = [
  'sec' => 1686185691,
  'usec' => 673040,
  'minuteswest' => -120,
  'dsttime' => 1,
]
Examples
#1 gettimeofday  ()
#2 gettimeofday  (true)
Help Misc Config Test Unit test
Powered by PHP 7.1.33 (0.01 s)
Creative Commons License 2014-2017 Michel Corne