Manuel:$wgRequestTime
Cette fonctionnalité a été supprimée entièrement dans la version 1.32.0. |
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
$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,
);