Manual:$wgRequestTime
この機能は、バージョン 1.32.0 で完全に除去されました。 |
グローバル オブジェクト: $wgRequestTime | |
---|---|
WebStart.php および Maintenance.php で初期化されるタイマー | |
廃止予定になった時点のバージョン: | 1.25.0 |
除去された時点のバージョン: | 1.32.0 |
クラス: | 未指定 |
場所: | 未指定 |
概要
$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,
);