如何计算页面执行时间？

<?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 秒";
?>