PHP PHP_Debug::getElapsedTime示例

示例#1

文件： Table.php 项目： Clansuite/Clansuite

 /**
  * process display of the execution time of debug information  
  * 
  * @param array $properties Properties of the debug line
  * @return string Formatted string containing the main debug info
  * @since V2.0.0 - 28 Apr 2006
  */
 protected function processExecTime($properties)
 {
     // Lang
     $txtPHP = 'PHP';
     $txtSQL = 'SQL';
     $txtSECOND = 's';
     $buffer = $this->options['HTML_TABLE_interrow_time'];
     if (!empty($properties['endTime'])) {
         $buffer .= $this->span(PHP_Debug::getElapsedTime($properties['startTime'], $properties['endTime']), 'time');
     } else {
         $buffer .= ' ';
     }
     return $buffer;
 }

示例#2

文件： Div.php 项目： samurailens/sop

 /**
  * process display of the execution time of debug information  
  * 
  * @param array $properties Properties of the debug line
  * @return string Formatted string containing the main debug info
  * @since V2.0.0 - 28 Apr 2006
  */
 protected function processExecTime($properties)
 {
     // Lang
     $txtPHP = 'PHP';
     $txtSQL = 'SQL';
     $txtSECOND = 's';
     if (!empty($properties['endTime'])) {
         $time = round(PHP_Debug::getElapsedTime($properties['startTime'], $properties['endTime']) * 1000);
         $buffer = $this->span($time > 1 ? $time . ' ms' : '< 1 ms', 'time');
     } else {
         $buffer = ' ';
     }
     return $buffer;
 }