Jump to content

Kézikönyv:$wgUDPProfilerPort

From mediawiki.org
This page is a translated version of the page Manual:$wgUDPProfilerPort and the translation is 100% complete.
Profiling: $wgUDPProfilerPort
Az UDP-profilozó portja.
Bevezetve:1.6.0 (r12252)
Elavultnak jelölve:1.25.0 (Gerrit change 177277; git #10f06831)
Eltávolítva:1.27.0 (Gerrit change 257404; git #487265cd)
Megengedett értékek:(sztring)
Alapértelmezett érték:null (MediaWiki 1.25+)
'3811' (MediaWiki 1.6–1.24)

Részletek

A változóval az UDP-profilozó portját lehet megadni. A MediaWiki 1.25-ben a beállítást felváltotta a $wgProfiler ['udpport'].

Lásd még