Jump to content

Manuel:$wgUDPProfilerHost

From mediawiki.org
This page is a translated version of the page Manual:$wgUDPProfilerHost and the translation is 100% complete.
Profilage: $wgUDPProfilerHost
Hôte pour le profileur UDP.
Introduit dans la version :1.6.0 (r12252)
Obsolète dans la version :1.25.0 (Gerrit change 177277; git #10f06831)
Retiré dans la version :1.27.0 (Gerrit change 257404; git #487265cd)
Valeurs autorisées :(chaîne)
Valeur par défaut :null (1.25+)
'127.0.0.1' (1.6–1.24)

Détails

Hôte pour le profileur UDP. En MediaWiki 1.25 et ultérieur, initialiser $wgProfiler ['udphost'] à la place.

Voir aussi