Manual:$wgRequestTime
 | この機能は、バージョン 1.32.0 で完全に除去されました。 |
| グローバル オブジェクト: $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,
);