Jump to content

手册:$wgRequestTime

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

概要

警告 警告: 这不是一个对象变量,而是由MediaWiki初始化的全局变量。

$wgRequestTime是一个全局microtime浮点数,在请求早期就被初始化用于日志记录、分析和调试。

示例

来自Debug.php的一个小片段

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