From 8b44e2c9d4200966b2822157cb065b87cfccb0b9 Mon Sep 17 00:00:00 2001
From: Jens Frank <jeluf@users.mediawiki.org>
Date: Sun, 24 Oct 2004 08:29:34 +0000
Subject: [PATCH] Add $IP to list of globals, since it is undefined otherwise

---
 includes/Setup.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/Setup.php b/includes/Setup.php
index 6e41cdee4a..ae39a584f7 100644
--- a/includes/Setup.php
+++ b/includes/Setup.php
@@ -16,7 +16,7 @@ if( defined( 'MEDIAWIKI' ) ) {
 # setting up a few globals.
 #
 
-global $wgProfiling, $wgProfileSampleRate, $wgIP, $wgUseSquid;
+global $wgProfiling, $wgProfileSampleRate, $wgIP, $wgUseSquid, $IP;
 
 if( !isset( $wgProfiling ) )
 	$wgProfiling = false;
@@ -227,7 +227,7 @@ wfProfileOut( $fname.'-User' );
 wfProfileIn( $fname.'-language' );
 
 function setupLangObj(&$langclass, $langcode) {
-	global $wgUseLatin1;
+	global $wgUseLatin1, $IP;
 
 
 	if( ! class_exists( $langclass ) ) {
-- 
2.20.1