MediaWiki:Configure-setting-wgPhpCli/de

Ausführbarer Name des PHP-cli-Clients (php/php5)