Jump to content

Manual:$wgEnableProfileInfo

From mediawiki.org
This page is a translated version of the page Manual:$wgEnableProfileInfo and the translation is 100% complete.
Profileren: $wgEnableProfileInfo
Controleert de beschikbaarheid van profileinfo.php.
Geïntroduceerd in versie:1.1.0
Verwijderd in versie:1.35.0 (Gerrit change 545308; git #0da1ecfd)
Toegelaten waardes:(boolean)
Standaardwaarde:false

Details

Controleert de beschikbaarheid van profileinfo.php , dat profileringsgegevens toont.

Indien ingesteld op true, zullen de profileringsgegevens worden opgeslagen in de tabel profiling in de database. Als u profileringsgegevens wilt vastleggen, schakelt u $wgProfiler['output'] = 'db' in uw StartProfiler.php in en voert u maintenance/update.php uit om de profileringstabel aan te maken. U kunt ook $wgProfiler['output'] op een andere waarde instellen om profielgegevens anders op te slaan/weer te geven. Zie Manual:Profiling voor meer informatie!

Voorbeeld

$wgEnableProfileInfo = true; // Maak profileinfo.php beschikbaar

Zie ook