From 5b7cc145a039ab85957126cf0dd58f27ec678e1b Mon Sep 17 00:00:00 2001 From: Alexandre Emsenhuber Date: Fri, 25 Dec 2009 18:50:00 +0000 Subject: [PATCH] Readd $wgPhpCli (removed in r59446), it was already here before JS2, and FlaggedRevs extension is using it --- includes/DefaultSettings.php | 5 +++++ 1 file changed, 5 insertions(+) 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 -- 2.20.1