function get_microtime($s) {
list($mt1, $mt2) = explode(' ', microtime());
return bcadd($mt1, $mt2, $s);
}
// Page Generation Time Function
function get_execution_time($s = 7) {
static $execution_start = null;
if ($execution_start === null) {
$execution_start = get_microtime($s);
return 0;
}
$gen_time = bcsub(get_microtime($s), $execution_start, $s);
echo $gen_time;
global $_FirePHP; $_FirePHP->label('Page Generation Time')->log($gen_time);
}
get_execution_time(); register_shutdown_function('get_execution_time');