Manual:$wgStatsdServer/fr

From Linux Web Expert

<translate> Profiling</translate>: $wgStatsdServer
Hôte ou hôte:port d'un serveur statsd.
<translate> Introduced in version:</translate>1.25.0 (Gerrit change 221044; git #Ie1b799a)
<translate> Removed in version:</translate><translate> still in use</translate>
<translate> Allowed values:</translate>(chaîne contenant: hôte, ou hôte:port) ou false
<translate> Default value:</translate>(voir ci-dessous)

Détails

Destination des métriques statsd.

Hôte ou hôte:port d'un serveur statsd. Port par défaut: 8125.

Si non initialisé, les métriques statsd ne seront pas collectées.

Valeurs par défaut

Version de MediaWiki :
<translate> ≥</translate> 1.26
/**
 * Destination of statsd metrics.
 *
 * A host or host:port of a statsd server. Port defaults to 8125.
 *
 * If not set, statsd metrics will not be collected.
 *
 * @see MediaWiki::emitBufferedStatsdData()
 * @since 1.25
 */
$wgStatsdServer = false;
<td class="mw-version-versionbox" title="<translate nowrap> MediaWiki <tvar name=1>1.25</tvar> is unsupported version</translate>">
1.25
Version de MediaWiki :

Utilisé dans includes/GlobalFunctions.php, mais non défini dans DefaultSettings.php.

Voir aussi