developer/globals.php
Stores timers that have been created by timer_start().
timer_start()
timer_stop()
<?php global $timers; ?>