r60395 MediaWiki - Code Review archive
Repository:
MediaWiki
Revision:
<
r60394
|
r60395
|
r60396
>
Date:
18:50, 25 December 2009
Author:
ialex
Status:
ok
Tags:
Comment:
Readd $wgPhpCli (removed in
r59446
), it was already here before JS2, and FlaggedRevs extension is using it
Modified paths:
/trunk/phase3/includes/DefaultSettings.php
(modified) (
history
)
Diff
[
purge
]
Index: trunk/phase3/includes/DefaultSettings.php
—
—
@@ -3762,6 +3762,11 @@
3763
3763
$wgMaxShellTime = 180;
3764
3764
3765
3765
/**
3766
+ * Executable path of the PHP cli binary (php/php5). Should be set up on install.
3767
+ */
3768
+$wgPhpCli = '/usr/bin/php';
3769
+
3770
+/**
3766
3771
* DJVU settings
3767
3772
* Path of the djvudump executable
3768
3773
* Enable this and $wgDjvuRenderer to enable djvu rendering
Past revisions this follows-up on
Revision
Commit summary
Author
Date
r59446
Removed JS2 work (has been moved to the js2-work branch). Has been lightly te...
tstarling
12:00, 26 November 2009
Status & tagging log
06:50, 30 December 2009
Tim Starling
(
talk
|
contribs
)
changed the
status
of r60395
[
removed:
new
added:
ok]