class timer {    
    var $starttime = 0;    
    var $stoptime = 0;    
    var $timespent = 0;    
    function start(){    
        $this->starttime = microtime();    
    }    
    function stop(){    
        $this->stoptime    = microtime();    
    }    
    function spent() {    
        if ($this->timespent) {    
       return $this->timespent;    
        } else {    
       $startmicro = substr($this->starttime,0,10);    
       $startsecond = substr($this->starttime,11,10);    
       $stopmicro    = substr($this->stoptime,0,10);    
       $stopsecond    = substr($this->stoptime,11,10);    
       $start = doubleval($startmicro) + $startsecond;    
       $stop    = doubleval($stopmicro) + $stopsecond;    
       $this->timespent = $stop - $start;
http://www.bkjia.com/phpjc/631812.htmlwww.bkjia.comtruehttp://www.bkjia.com/phpjc/631812.htmltecharticle? class timer { var $starttime = 0; var $stoptime = 0; var $timespent = 0; function start(){ $this-starttime = microtime(); } function stop(){ $this-stoptime= microtime(); } functio...