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.