Manual:$wgUDPProfilerHost
 | Deze functie is verwijderd uit de core van MediaWiki in versie 1.27.0. Zie $wgProfiler voor alternatieve manieren om gebruik te maken van deze functie. |
| Profileren: $wgUDPProfilerHost | |
|---|---|
| Host voor de UDP-profiler |
|
| Geïntroduceerd in versie: | 1.6.0 (r12252) |
| Verouderd in versie: | 1.25.0 (Gerrit change 177277; git #10f06831) |
| Verwijderd in versie: | 1.27.0 (Gerrit change 257404; git #487265cd) |
| Toegelaten waardes: | (string) |
| Standaardwaarde: | null (1.25+)'127.0.0.1' (1.6–1.24) |
| Andere instellingen: Alfabetisch | Per functie | |
Details
Host voor de UDP-profiler
In MediaWiki 1.25 en later, stel in plaats daarvan de $wgProfiler['udphost'] in.