Timers that have been created by timer_start().
timer_start()
timer_read()
timer_stop()
developer/globals.php, line 16
<?php global $timers ?>
