From: Platonides <platonides@users.mediawiki.org>
Date: Sat, 31 Jul 2010 18:29:20 +0000 (+0000)
Subject: Remove useless $DP.
X-Git-Tag: 1.31.0-rc.0~35816
X-Git-Url: https://git.cyclocoop.org/%242?a=commitdiff_plain;h=0f8da9af167a7ca798d5229ce20622d5cb3911ef;p=lhc%2Fweb%2Fwiklou.git

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.
---

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;
 	}