Manual:$wgUDPProfilerPort
| 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: $wgUDPProfilerPort | |
|---|---|
| Poort 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 (MediaWiki 1.25+)'3811' (MediaWiki 1.6–1.24) |
| Andere instellingen: Alfabetisch | Per functie | |
Details
Poort voor de UDP-profiler
In MediaWiki 1.25 en later, stel in plaats daarvan de $wgProfiler['udpport'] in.