Manual:$wgPhpCli/ru

Подробнее
Исполняемое имя команды php-cli (php/php5).