页面使用时间类

<?php $t = new spentTime;

phpinfo();
class spentTime{
    private $microtime;
    public function __construct(){
        $this->microtime = microtime(true);
    }
    public function __destruct(){
        if (empty($_SERVER['REQUEST_TIME_FLOAT']))
            echo '<div >本次执行时间：', microtime(TRUE) - $this->microtime, '秒</div>';
        else
            echo '<div >本次执行时间：', microtime(TRUE) - $_SERVER['REQUEST_TIME_FLOAT'], '秒</div>';
    }    
} ?>