Readd $wgPhpCli (removed in r59446), it was already here before JS2, and FlaggedRevs...

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index b3cbd4d..3735f3c 100644 (file)
--- 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