Manuel:$wgProfileOnly
Appearance
Cette fonctionnalité a été supprimée du noyau Mediawiki dans la version 1.35.0.
Voyez $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