Handbuch:$wgRequestTime
Diese Funktion wurde in der Version 1.32.0 vollständig entfernt. |
Globales Objekt: $wgRequestTime | |
---|---|
timer, initialized in WebStart.php and Maintenance.php | |
Veraltet in: | 1.25.0 |
Entfernt in: | 1.32.0 |
Klasse: | nicht angegeben |
Located in: | nicht angegeben |
Überblick
$wgRequestTime
is a global microtime float that is initialized early in the engine that a lot of other times are computed relative to for logging, profiling, and debugging.
Beispiele
A snippet from Debug.php:
global $wgRequestTime;
return array(
'time' => microtime( true ) - $wgRequestTime,
);