<?php$mixed = gettimeofday ( truefalsetrue ✓? // [bool $return_float = false]);?>
$mixed = 1714769676.650567
1714769676.650567
#1
gettimeofday
()
#2
(true)