Manual:$wgUDPProfilerPort/ru

From Linux Web Expert

Revision as of 02:02, 6 December 2023 by imported>FuzzyBot (Updating to match new version of source page)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

<translate> Profiling</translate>: $wgUDPProfilerPort
Port for UDP profiler.
<translate> Introduced in version:</translate>1.6.0 (r12252)
<translate> Deprecated in version:</translate>1.25.0 (Gerrit change 177277; git #10f06831)
<translate> Removed in version:</translate>1.27.0 (Gerrit change 257404; git #487265cd)
<translate> Allowed values:</translate>(string)
<translate> Default value:</translate>null (MediaWiki 1.25+)
'3811' (MediaWiki 1.6–1.24)

Details

Port for UDP profiler. In MediaWiki 1.25 and later, set $wgProfiler ['udpport'] instead.

См. также