update to Mediawiki 1.13.3; some cleanups

1 files changed, 6 insertions, 2 deletions

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;