Manual:$wgRequestTime
Outdated translations are marked like this.
Este recurso foi removido completamente na versão 1.32.0. |
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
$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,
);