function devel_timer
Same name in other branches
- 7.x-1.x devel.module \devel_timer()
Displays page execution time at the bottom of the page.
1 call to devel_timer()
- devel_shutdown_real in ./
devel.module - See devel_shutdown() which registers this function as a shutdown function. Displays developer information in the footer.
File
-
./
devel.module, line 1786
Code
function devel_timer() {
$time = timer_read('page');
return t_safe(' Page execution time was @time ms.', array(
'@time' => $time,
));
}