Jump to content

Podręcznik:$wgProfilerType

From mediawiki.org
This page is a translated version of the page Manual:$wgProfilerType and the translation is 50% complete.
Profiling: $wgProfilerType
If not empty, specifies profiler type to load.
Wprowadzono w wersji:1.6.0 (r12231)
Usunięto w wersji:1.8.0
Dozwolone wartości:nie określono
Domyślna wartość:''

Szczegóły

If not empty, specifies profiler type to load.