Add $wgPhpCli var so shell outs know what exec name to use

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 47590ed..617662b 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -3199,6 +3199,11 @@ $wgMaxShellMemory = 102400;
  */
 $wgMaxShellFileSize = 102400;
 
+/**
+* Executable name of PHP cli client (php/php5)
+*/
+$wgPhpCli = 'php';
+
 /**
  * DJVU settings
  * Path of the djvudump executable