From d9022f63880ce039446fba8364f68e656b7bf4cb Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Thu, 3 May 2012 13:01:35 +0200
Subject: Update to MediaWiki 1.19.0

---
 redirect.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'redirect.php')

diff --git a/redirect.php b/redirect.php
index c0a16021..eb15c6b9 100644
--- a/redirect.php
+++ b/redirect.php
@@ -18,4 +18,4 @@ $page = $wgRequest->getVal( 'wpDropdown' );
 
 $url = str_replace( "$1", urlencode( $page ), $wgArticlePath );
 
-header( "Location: {$url}" );
+header( "Location: {$url}", true, 301 );
-- 
cgit v1.2.3-54-g00ecf