From 7e0daef6d0ddfeb48f89785afd2d9997e9b48573 Mon Sep 17 00:00:00 2001
From: Aaron Schulz <aaron@users.mediawiki.org>
Date: Wed, 27 Aug 2008 06:45:49 +0000
Subject: [PATCH] Add $wgPhpCli var so shell outs know what exec name to use

---
 includes/DefaultSettings.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 47590eda82..617662b243 100644
--- 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
-- 
2.20.1