<?php$mixed = microtime ( falsetrue ✓? // [bool $get_as_float = false]);?>
$mixed = '0.36637900 1576011248'
'0.36637900 1576011248'
#1
microtime
()
#2
(true)