Manual:$wgPhpCli/ja

詳細
PHP CLI クライアント (php/php5) の実行ファイル名.