Manual:$wgPhpCli/de-formal

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