Manual:$wgPhpCli/ru

Детали
Исполняемое имя клиента PHP cli (php/php5).