Open main menu

Manual:$wgUDPProfilerPort

This page is a translated version of the page Manual:$wgUDPProfilerPort and the translation is 43% complete.
Other languages:
English • ‎español • ‎français • ‎magyar • ‎polski • ‎日本語
Profiling: $wgUDPProfilerPort
Port for UDP profiler.
Introducido en la versión:1.6.0 (r12252)
Deprecated in version:1.25.0 (git #10f06831)
Eliminado en la versión:1.27.0 (git #487265cd)
Valores permitidos:(string)
Valor predeterminado:null (MediaWiki 1.25+)
'3811' (MediaWiki 1.6–1.24)

Detalles

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

Véase también