Jump to content

Manuel:$wgRequestTime

From mediawiki.org
This page is a translated version of the page Manual:$wgRequestTime and the translation is 100% complete.

Aperçu

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