/usr/share/php/PHP/Compat/Function/microtime.php is in php-compat 1.6.0a3-2build1.
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 | <?php
/**
* Replace microtime()
*
* @category PHP
* @package PHP_Compat
* @license LGPL - http://www.gnu.org/licenses/lgpl.html
* @copyright 2004-2007 Aidan Lister <aidan@php.net>, Arpad Ray <arpad@php.net>
* @link http://php.net/function.microtime
* @author Aidan Lister <aidan@php.net>
* @author Arpad Ray <arpad@php.net>
* @version $Revision: 269597 $
* @since PHP 5.0.0 (Added optional get_as_float parameter)
* @require PHP 4.0.0 (user_error)
*/
function php_compat_microtime($get_as_float = false)
{
if (!function_exists('gettimeofday')) {
$time = time();
return $get_as_float ? ($time * 1000000.0) : '0.00000000 ' . $time;
}
$gtod = gettimeofday();
$usec = $gtod['usec'] / 1000000.0;
return $get_as_float
? (float) ($gtod['sec'] + $usec)
: (sprintf('%.8f ', $usec) . $gtod['sec']);
}
// Define
if (!function_exists('microtime')) {
function microtime($get_as_float = false)
{
return php_compat_microtime($get_as_float);
}
}
|