drupal/includes/timer.inc

<?

$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());
}

?>