Manual:$wgPhpCli/ja

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