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
 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,
);