Manual:$wgRequestTime/es

Resumen
This is not an object variable, but is a global initialized by MediaWiki.

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: