Nose si te sirvira de mucho, pero fue lo unico que encontre en el disco. Tendrias que darle la vuelta y lograr lo que quieres.
  Código PHP:
    <?php
  function time_start() {
    global $starttime;
    $mtime = microtime();
    $mtime = explode(" ",$mtime);
    $mtime = $mtime[1] + $mtime[0];
    $starttime = $mtime;
  }
 
  function time_end() {
    global $starttime;
    $mtime = microtime();
    $mtime = explode(" ",$mtime);
    $mtime = $mtime[1] + $mtime[0];
    return ($mtime - $starttime);
  }
?>    
  La verdad no me aucerdo ni como usarlo, pero es simple la logica, tendria que realizar uno para mi, y de paso postearlo, pero no tengo mucho tiempo. Saludos y avisa si te sirvio de algo, sino sigo intentando ser un poco mas util. Suerte.