Manual:$wgRequestTime

グローバル オブジェクト: $wgRequestTime
WebStart.php および Maintenance.php で初期化されるタイマー
廃止予定になった時点のバージョン:	1.25.0
除去された時点のバージョン:	1.32.0
クラス:	未指定
場所:	未指定

概要

警告:	この変数は、オブジェクト変数ではありませんが、MediaWiki によってグローバルに初期化されます。

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

例

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

global $wgRequestTime;
return array(
    'time' => microtime( true ) - $wgRequestTime,
);