<?php

// NAME: get_timer()
// VERSION: n/a
// AUTHOR: J de Silva
// DESCRIPTION: returns the the timer value at the instance
// this function is called. for more details and uses please see:
// notes below
// 
// TYPE: function
// --------------------

function get_timer()
{
  $t = explode( ' ', microtime() );
  $t = $t[1] + $t[0];
  return $t;
}

// --------------------
// USE:
//
// <?php
// $start = get_timer();
// ... other php code ...
// $end = get_timer();
// printf( "<p>Script took %.4f seconds to run.</p>", ($end - $start));
// ? >

?>