$timers

Timers that have been created by timer_start().

See also

timer_start()

timer_read()

timer_stop()

File

external_documentation/developer/globals.php, line 15

Code

global $timers;