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