Manual:$wgRequestTime/ja

Overview
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.

例
A snippet from Debug.php…