From 791d96bff3e9a468a8f564e500426561fdce4695 Mon Sep 17 00:00:00 2001 From: Max Semenik Date: Thu, 22 Nov 2012 04:29:49 +0400 Subject: [PATCH] Fix exception when searching for stuff beginning with "Media:" Change-Id: I8b5a419fa369ad91034c3769a4b228290b878e1b --- includes/search/SearchEngine.php | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/includes/search/SearchEngine.php b/includes/search/SearchEngine.php index ec542a612d..fa7b8729ae 100644 --- a/includes/search/SearchEngine.php +++ b/includes/search/SearchEngine.php @@ -187,6 +187,11 @@ class SearchEngine { return null; } + # Try files if searching in the Media: namespace + if ( $title->getNamespace() == NS_MEDIA ) { + $title = Title::makeTitle( NS_FILE, $title->getText() ); + } + if ( $title->isSpecialPage() || $title->isExternal() || $title->exists() ) { return $title; } -- 2.20.1