From 1b76906d654f4a903867738c73fb7acfcb8837e2 Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Thu, 31 Mar 2005 12:06:38 +0000
Subject: [PATCH] fixed bug

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

diff --git a/includes/Setup.php b/includes/Setup.php
index 4317e1bafc..45fd9cd192 100644
--- a/includes/Setup.php
+++ b/includes/Setup.php
@@ -66,6 +66,7 @@ require_once( 'ParserCache.php' );
 require_once( 'WebRequest.php' );
 require_once( 'LoadBalancer.php' );
 require_once( 'HistoryBlob.php' );
+require_once( 'ProxyTools.php' );
 
 wfProfileOut( $fname.'-includes' );
 wfProfileIn( $fname.'-misc1' );
@@ -82,7 +83,7 @@ global $wgUseOldExistenceCheck, $wgEnablePersistentLC, $wgMasterWaitTimeout;
 
 global $wgFullyInitialised;
 
-if ( is_callable ( "wfGetIP" ) ) $wgIP = wfGetIP();
+$wgIP = wfGetIP();
 $wgRequest = new WebRequest();
 
 # Useful debug output
-- 
2.20.1