From 7176ccdf27fea2966183f77cdc1b949435360f28 Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Wed, 19 Mar 2008 12:43:00 +0000
Subject: [PATCH] In continuation of r23243:  is already created by Setup.php,
 it don't need to set twice.

---
 redirect.php | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/redirect.php b/redirect.php
index ad3400ef9b..626c30d3bc 100644
--- a/redirect.php
+++ b/redirect.php
@@ -2,12 +2,8 @@
 require_once( './includes/WebStart.php' );
 global $wgArticlePath;
 
-require_once( 'includes/WebRequest.php' );
-$wgRequest = new WebRequest();
-
 $page = $wgRequest->getVal( 'wpDropdown' );
 
 $url = str_replace( "$1", urlencode( $page ), $wgArticlePath );
 
 header( "Location: {$url}" );
-
-- 
2.20.1