Manuel:$wgUDPProfilerPort

From MediaWiki.org
Jump to navigation Jump to search
This page is a translated version of the page Manual:$wgUDPProfilerPort and the translation is 71% complete.

Other languages:
Deutsch • ‎English • ‎Nederlands • ‎català • ‎dansk • ‎español • ‎français • ‎italiano • ‎polski • ‎português • ‎português do Brasil • ‎日本語
Profilage: $wgUDPProfilerPort
Port pour le profileur UDP.
Introduit dans la version :1.6.0 (r12252)
Obsolète dans la version :1.25.0 (git #10f06831)
Retiré dans la version :1.27.0 (git #487265cd)
Valeurs autorisées :(string)
Valeur par défaut :null (MediaWiki 1.25+)
'3811' (MediaWiki 1.6–1.24)
Autres paramètres : Alphabétique | Par Fonction

Détails

Port pour le profileur UDP. In MediaWiki 1.25 and later, set $wgProfiler ['udpport'] instead.

Voir aussi