Manuel:$wgProfileOnly
 | Cette fonctionnalité a été supprimée du noyau Mediawiki dans la version 1.35.0.
Voir $wgProfiler['output'] comme manière alternative pour utiliser cette fonctionnalité. |
| Profilage: $wgProfileOnly | |
|---|---|
| Ne pas faire figurer dans le journal, les informations qui ne concernent pas le profilage. |
|
| Introduit dans la version : | avant la version 1.1.0 |
| Obsolète dans la version : | 1.23.0 (Gerrit change 121336; git #d966a526) |
| Retiré dans la version : | 1.35.0 (Gerrit change 560355; git #049dd15d) |
| Valeurs autorisées : | (booléen) |
| Valeur par défaut : | false |
| Autres paramètres : Alphabétique | Par fonction | |
Détails
Ne pas faire figurer dans le journal, les informations qui ne concernent pas le profilage.
Depuis MediaWiki 1.23, vous pouvez configurer le fichier journal dans
$wgDebugLogGroups['profileoutput'] pour faire la même chose.Categories:
- MediaWiki configuration settings/fr
- MediaWiki configuration settings introduced before version 1.1.0/fr
- MediaWiki configuration settings deprecated in version 1.23.0/fr
- MediaWiki configuration settings removed in version 1.35.0/fr
- MediaWiki deprecated or obsolete features/fr
- Debug variables/fr
- Log variables/fr