Manual:$wgRequestTime/ja

概要
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 から抜き出したスニペット: