Podręcznik:$wgRequestTime
Appearance
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,
);