MediaWiki:Configure-setting-wgPhpCli/en

Executable name of PHP cli client (php/php5)