Manual:$wgStatsdServer/de-formal

Details
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.

Default value
Used in includes/GlobalFunctions.php, but undefined in DefaultSettings.php.