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.