如何计算页面执行时间？

有时见到别人的页面下方显示出页面的执行时间，很多新手都会想知道是怎么实现的吧？其实这个在PHP手册上就有，请看例子

<?php

//定义获取时间函数

function getmicrotime(){

list($usec, $sec) = explode(" ",microtime());

return ((float)$usec + (float)$sec);

}

//获取开始时的时间

$time_start = getmicrotime();

//执行你自己的代码

for ($i=0; $i < 10; $i++){

echo '输出';

}

//获取执行代码后的时间

$time_end = getmicrotime();

//计算结果

$time = $time_end - $time_start;

//输出结果

echo "页面执行时间 $time 秒";

?>