Manual:$wgProfilerType
Cette fonctionnalité a été supprimée entièrement dans la version 1.8.0. |
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 : | '' |
Autres paramètres : Alphabétique | Par fonction |
Détails
S'il n'est pas vide, spécifie le type de profileur à charger.