Manual:$wgPhpCli/fr

Détails
Nom de l'exécutable du client PHP cli (php/php5).