Manual:$wgRequestTime
Appearance
Esta función se eliminó por completo en la versión 1.32.0. |
| Objeto global: $wgRequestTime | |
|---|---|
| timer, initialized in WebStart.php and Maintenance.php | |
| Ubicado en: | 1.25.0 |
| Eliminado en: | 1.32.0 |
| Clase: | Sin especificar |
| Ubicado en: | Sin especificar |
Resumen
$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.
Ejemplos
A snippet from Debug.php:
global $wgRequestTime;
return array(
'time' => microtime( true ) - $wgRequestTime,
);