Manual:$wgUDPProfilerPort
 | Esta función se eliminó del núcleo de MediaWiki en la versión 1.27.0.
Véase $wgProfiler para encontrar una forma alternativa de usar esta función. |
| Profiling: $wgUDPProfilerPort | |
|---|---|
| Port for UDP profiler. |
|
| Introducido en la versión: | 1.6.0 (r12252) |
| Desaconsejado en versión: | 1.25.0 (Gerrit change 177277; git #10f06831) |
| Eliminado en la versión: | 1.27.0 (Gerrit change 257404; git #487265cd) |
| Valores permitidos: | (string) |
| Valor predeterminado: | null (MediaWiki 1.25+)'3811' (MediaWiki 1.6–1.24) |
| Otras configuraciones: Alfabéticamente | Por Función | |
Detalles
Port for UDP profiler.
In MediaWiki 1.25 and later, set $wgProfiler['udpport'] instead.