Manual:$wgUDPProfilerPort/fr

Détails
Port pour le profileur UDP.

Voir aussi

 * $wgUDPProfilerHost