From 396b28f3d881f5debd888ba9bb9b47c2d478a76f Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Mon, 15 Dec 2008 18:02:47 +0100
Subject: update to Mediawiki 1.13.3; some cleanups

---
 includes/Title.php | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'includes/Title.php')

diff --git a/includes/Title.php b/includes/Title.php
index ad425c5e..6326240c 100644
--- a/includes/Title.php
+++ b/includes/Title.php
@@ -320,9 +320,13 @@ class Title {
 					$m[1] = urldecode( ltrim( $m[1], ':' ) );
 				}
 				$title = Title::newFromText( $m[1] );
-				// Redirects to Special:Userlogout are not permitted
-				if( $title instanceof Title && !$title->isSpecial( 'Userlogout' ) )
+				// Redirects to some special pages are not permitted
+				if( $title instanceof Title 
+						&& !$title->isSpecial( 'Userlogout' )
+						&& !$title->isSpecial( 'Filepath' ) ) 
+				{
 					return $title;
+				}
 			}
 		}
 		return null;
-- 
cgit v1.2.2