profile-microtime.php

<?php

$profiles = array();
function profile_start($key) {
  global $profiles;
  $profiles[$key] = array(); 
  $profiles[$key]["start"] = microtime(true);
}
function profile_end($key) {
  global $profiles;
  $profiles[$key]["end"] = microtime(true);
  $profiles[$key]["value"] = $profiles[$key]["end"] - $profiles[$key]["start"];
}
function profile_val($key) {
  global $profiles;
  return $profiles[$key]["value"];
}