<!DOCTYPE html>
<html>
<body>
<?php
// 输出 gettimeofday() 返回的数组
print_r(gettimeofday());
echo "<br><br>";
// 输出 gettimeofday() 返回的浮点数
echo gettimeofday(true) . "<br><br>";
// 返回当前时间；然后对输出进行格式化
$mytime=gettimeofday();
echo "$mytime[sec].$mytime[usec]";
?>
</body>
</html>