Add $wgPhpCli var so shell outs know what exec name to use
authorAaron Schulz <aaron@users.mediawiki.org>
Wed, 27 Aug 2008 06:45:49 +0000 (06:45 +0000)
committerAaron Schulz <aaron@users.mediawiki.org>
Wed, 27 Aug 2008 06:45:49 +0000 (06:45 +0000)
commit7e0daef6d0ddfeb48f89785afd2d9997e9b48573
treea080541fb3c13c331403cdb3a9d0aa32d158f28d
parentd229d00b559038ea186cba592dc8ddb9ddc474d3
Add $wgPhpCli var so shell outs know what exec name to use
includes/DefaultSettings.php