Manual:$wgRequestTime/ja

概要
この変数は、オブジェクト変数ではありませんが、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.

例
Debug.php から抜き出したスニペット: