Jump to content

Příručka:$wgRequestTime

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

Přehled

Varování Varování: Toto není objektová proměnná, ale globální proměnná inicializovaná MediaWiki.

$wgRequestTime je globální číslo s plovoucí čárkou o velikosti microtime, které je inicializováno na začátku enginu a vzhledem k němuž se mnoho dalších časů počítá pro logování, profilování a ladění.

Příklady

Úryvek z Debug.php:

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