Definition and usage of PHP function microtime() timestamp

echo (microtime()); //0.25139300 1138197510

Examples of common usage of PHP function microtime():

$mtime=explode(' ',microtime());
$startTime=$mtime[1]+$mtime[0];
echo $startTime; //1385976275.33