Jump to content

Manual:$wgProfilerType

From mediawiki.org
This page is a translated version of the page Manual:$wgProfilerType and the translation is 100% complete.
Profilage: $wgProfilerType
S'il n'est pas vide, spécifie le type de profileur à charger.
Introduit dans la version :1.6.0 (r12231)
Retiré dans la version :1.8.0
Valeurs autorisées :Non renseigné
Valeur par défaut :''

Détails

S'il n'est pas vide, spécifie le type de profileur à charger.