0

我一直在网上寻找这个,但找不到一个好的答案。我有一个小型站点搜索,我想显示执行 mysql 查询所花费的时间(类似于 Google)。我一直在尝试使用 microtime() 但我得到了像 1.342524564267782e25 这样的大字符串......我只想要一个简单的数字,后面有两个小数(0.15)。提前致谢。

4

2 回答 2

4

使用四舍五入修正小数点

$time = microtime();
echo round($time, 2);
于 2012-04-07T17:04:20.550 回答
2
$ms = microtime(true);
mysql_query($sql);
$ms = microtime(true) - $ms;
echo $ms.' secs'; //seconds
echo ($ms * 1000).' millisecs'; //millseconds
于 2012-04-07T17:06:30.330 回答