includes/timer.inc


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

<?php

$timer = 0;

function timer_print() {
  global $timer;
  $stop = explode(" ", microtime());
  $diff = $timer[0] - $stop[0];
  print "<PRE>execution time: $diff ms</PRE>";
}

function timer_start() {
  global $timer;
  $timer = explode(" ", microtime());
}

?>