Translations:Manual:$wgRequestTime/1/en

timer, initialized in WebStart.php and Maintenance.php