Manual:$wgUDPProfilerPort
Jump to navigation
Jump to search
![]() | This feature was removed from MediaWiki core in version 1.27.0. Por favor vea $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) |
Deprecated in version: | 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.
Véase también
Categories:
- MediaWiki configuration settings/es
- MediaWiki configuration settings 1.6.0/es
- MediaWiki configuration settings introduced in version 1.6.0/es
- MediaWiki configuration settings deprecated in version 1.25.0/es
- MediaWiki configuration settings removed in version 1.27.0/es
- MediaWiki deprecated or obsolete features/es
- Debug variables/es