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