Handbuch:$wgRequestTime
Appearance
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,
);