From 0f8da9af167a7ca798d5229ce20622d5cb3911ef Mon Sep 17 00:00:00 2001 From: Platonides Date: Sat, 31 Jul 2010 18:29:20 +0000 Subject: [PATCH] Remove useless $DP. Roan confirmed that there was no hidden usage on wmf-config/ The '$DP = $IP;' in CommonSettings.php:94 should be removed, too. --- maintenance/Maintenance.php | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/maintenance/Maintenance.php b/maintenance/Maintenance.php index 6405d95c91..d57bfc8b25 100644 --- a/maintenance/Maintenance.php +++ b/maintenance/Maintenance.php @@ -740,7 +740,6 @@ abstract class Maintenance { putenv( 'wikilang=' . $lang ); - $DP = $IP; ini_set( 'include_path', ".:$IP:$IP/includes:$IP/languages:$IP/maintenance" ); if ( $lang == 'test' && $site == 'wikipedia' ) { @@ -753,7 +752,7 @@ abstract class Maintenance { * @return String */ public function loadSettings() { - global $wgWikiFarm, $wgCommandLineMode, $IP, $DP; + global $wgWikiFarm, $wgCommandLineMode, $IP; $wgWikiFarm = false; if ( isset( $this->mOptions['conf'] ) ) { @@ -775,7 +774,6 @@ abstract class Maintenance { "must exist and be readable in the source directory.", true ); } $wgCommandLineMode = true; - $DP = $IP; return $settingsFile; } -- 2.20.1