Podręcznik:$wgRequestTime
Ta funkcja została całkowicie usunięta z jądra MediaWiki w wersji 1.32.0. |
Obiekt globalny: $wgRequestTime | |
---|---|
timer, initialized in WebStart.php and Maintenance.php | |
Zdeprecjonowany w: | 1.25.0 |
Usunięty w: | 1.32.0 |
Klasa: | Nie określono |
Zlokalizowany w: | Nie określono |
Overview
$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.
Przykłady
A snippet from Debug.php:
global $wgRequestTime;
return array(
'time' => microtime( true ) - $wgRequestTime,
);