手册:$wgRequestTime
| 此功能已在版本1.32.0中完全移除。 |
| 全域对象： $wgRequestTime | |
|---|---|
| 计时器，初始化于WebStart.php和Maintenance.php | |
| 于此版本弃用： | 1.25.0 |
| 于此版本移除： | 1.32.0 |
| 类： | 未指定 |
| 位于： | 未指定 |
概要
 警告： | 这不是一个对象变量，而是由MediaWiki初始化的全局变量。 |
$wgRequestTime是一个全局microtime浮点数，在请求早期就被初始化用于日志记录、分析和调试。
示例
来自Debug.php的一个小片段
global $wgRequestTime;
return array(
'time' => microtime( true ) - $wgRequestTime,
);