From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Fri, 25 Dec 2009 18:50:00 +0000 (+0000)
Subject: Readd $wgPhpCli (removed in r59446), it was already here before JS2, and FlaggedRevs... 
X-Git-Tag: 1.31.0-rc.0~38476
X-Git-Url: https://git.cyclocoop.org/%27.WWW_URL.%27admin/?a=commitdiff_plain;h=5b7cc145a039ab85957126cf0dd58f27ec678e1b;p=lhc%2Fweb%2Fwiklou.git

Readd $wgPhpCli (removed in r59446), it was already here before JS2, and FlaggedRevs extension is using it
---

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index b3cbd4d87a..3735f3c12c 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -3761,6 +3761,11 @@ $wgMaxShellFileSize = 102400;
  */
 $wgMaxShellTime = 180;
 
+/**
+ * Executable path of the PHP cli binary (php/php5). Should be set up on install.
+ */
+$wgPhpCli = '/usr/bin/php';
+
 /**
  * DJVU settings
  * Path of the djvudump executable