Translations:Manual:$wgRequestTime/1/en

timer, initialized in $webstart and $maint-scripts