Jump to content

Manual:$wgRequestTime

From mediawiki.org
This page is a translated version of the page Manual:$wgRequestTime and the translation is 86% complete.

概要

警告 警告: この変数は、オブジェクト変数ではありませんが、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,
);