Manual:$wgMetricsPrefix/de-formal

From mediawiki.org
This page is a translated version of the page Manual:$wgMetricsPrefix and the translation is 14% complete.
Profiling: $wgMetricsPrefix
Service name prefix for the MetricsFactory service.
Eingeführt in Version:1.38.0 (Gerrit change 721627; git #0e150f8c)
Entfernt in Version:1.40.0 (Gerrit change 891868; git #fa92ab43)
Erlaubte Werte:(string)
Standardwert:'mediawiki'

Details

Service name prefix for the MetricsFactory service.

Must be a non-empty string.

This does not affect the older StatsdDataFactory service.