Manuel:$wgRequestTime

Objet global : $wgRequestTime
minuteur, initialisé avec WebStart.php et Maintenance.php
Obsolète depuis :	1.25.0
Supprimé depuis :	1.32.0
Classe :	Non spécifié
Situé dans :	Non spécifié

Aperçu

Avertissement :

Ceci n'est pas un objet variable, mais un global initialisé par MédiaWiki.

$wgRequestTime est un flottant global microtime initialisé plus tôt dans le moteur et à partir duquel on déduit les autres valeurs de temps pour les traces, le profilage et le débogage.

Exemples

Extrait de Debug.php :

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