Handbuch:$wgUDPProfilerHost
 | Diese Funktion wurde in der Version 1.27.0 aus dem MediaWiki-Kern entfernt.
Auf $wgProfiler findet sich eine alternative Möglichkeit, diese Funktion zu nutzen. |
| Profilierung: $wgUDPProfilerHost | |
|---|---|
| Host für den UDP-Profiler. |
|
| Eingeführt in Version: | 1.6.0 (r12252) |
| Veraltet in Version: | 1.25.0 (Gerrit change 177277; git #10f06831) |
| Entfernt in Version: | 1.27.0 (Gerrit change 257404; git #487265cd) |
| Erlaubte Werte: | (Zeichenkette) |
| Standardwert: | null (1.25+)'127.0.0.1' (1.6–1.24) |
| Andere Einstellungen: Alphabetisch | Nach Funktion | |
Details
Host für den UDP-Profiler.
In MediaWiki 1.25 und höher stelle stattdessen $wgProfiler['udphost'] ein.