/usr/share/php/Horde/Support/Timer.php is in php-horde-support 2.1.5-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 | <?php
/**
* Simple interface for timing operations.
*
* <code>
* $t = new Horde_Support_Timer;
* $t->push();
* $elapsed = $t->pop();
* </code>
*
* Copyright 1999-2016 Horde LLC (http://www.horde.org/)
*
* @category Horde
* @package Support
* @license http://www.horde.org/licenses/bsd
*/
class Horde_Support_Timer
{
/**
* Holds the starting timestamp.
*
* @var array
*/
protected $_start = array();
/**
* Current index for stacked timers.
*
* @var integer
*/
protected $_idx = 0;
/**
* Push a new timer start on the stack.
*/
public function push()
{
$start = $this->_start[$this->_idx++] = microtime(true);
return $start;
}
/**
* Pop the latest timer start and return the difference with the current
* time.
*
* @return float The amount of time passed.
*/
public function pop()
{
$etime = microtime(true);
if (! ($this->_idx > 0)) {
throw new Exception('No timers have been started');
}
return $etime - $this->_start[--$this->_idx];
}
}
|