Manual:$wgStatsdServer/fr

Détails
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.

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