Manual:$wgRequestTime

Objeto global: $wgRequestTime
timer, inicializado em WebStart.php e Maintenance.php
Depreciado na versão:	1.25.0
Removido na versão:	1.32.0
Classe:	Não especificado
Localizado em:	Não especificado

Visão geral

Atenção:

Esta não é uma variável de objeto, e sim uma variável global inicializada pelo MediaWiki.

$wgRequestTime é uma variável global float microtime que é inicializada inicialmente no mecanismo que muitos dos outros momentos são computadas em relação direta para login, criação de perfis e depuração.

Exemplos

Um trecho do arquivo Debug.php…

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