Manuel:$wgStatsdServer

From mediawiki.org
Jump to navigation Jump to search
This page is a translated version of the page Manual:$wgStatsdServer and the translation is 100% complete.
Other languages:
English • ‎français • ‎magyar • ‎中文 • ‎日本語
Statistiques du site: $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 wfLogProfilingData
 * @since 1.25
 */
$wgStatsdServer = false;
Version de MediaWiki :
1.25

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

Voir aussi