Jump to content

Kézikönyv:$wgProfilerType

From mediawiki.org
This page is a translated version of the page Manual:$wgProfilerType and the translation is 100% complete.
Profiling: $wgProfilerType
Ha nem üres, meghatározza a betöltendő profilozótípust.
Bevezetve:1.6.0 (r12231)
Eltávolítva:1.8.0
Megengedett értékek:nincs megadva
Alapértelmezett érték:''

Részletek

Ha a változó nem üres, akkor értéke meghatározza a betöltendő profilozótípust.