Manuel:$wgStatsdServer

This page is a translated version of the page Manual:$wgStatsdServer and the translation is 100% complete.
Profilage: $wgStatsdServer
Hôte ou hôte:port d'un serveur statsd.
Introduit dans la version :1.25.0 (Gerrit change 221044; git #Ie1b799a)
Retiré dans la version :Encore utilisé
Valeurs autorisées :(chaîne contenant: hôte, ou hôte:port) ou false
Valeur par défaut :(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 :
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;
Version de MediaWiki :
1.25

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

Voir aussi