Jump to content

Manual:$wgUDPProfilerPort

From mediawiki.org
This page is a translated version of the page Manual:$wgUDPProfilerPort and the translation is 100% complete.
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)

Details

Poort voor de UDP-profiler In MediaWiki 1.25 en later, stel in plaats daarvan de $wgProfiler ['udpport'] in.

Zie ook