Manual:$wgPhpCli/es

Detalles
Executable name of PHP cli client (php/php5).