From 38bd9d7bfee5b1fd154dbca3dde085f63194dec8 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Robert=20Stojni=C4=87?= <rainman@users.mediawiki.org>
Date: Sat, 11 Jul 2009 10:28:23 +0000
Subject: [PATCH] Add search term to search-nonefound since wiktionaries want
 it.

---
 includes/specials/SpecialSearch.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/specials/SpecialSearch.php b/includes/specials/SpecialSearch.php
index cc2843b6b9..9b037c6465 100644
--- a/includes/specials/SpecialSearch.php
+++ b/includes/specials/SpecialSearch.php
@@ -313,7 +313,7 @@ class SpecialSearch {
 			$textMatches->free();
 		}
 		if( $num === 0 ) {
-			$wgOut->addWikiMsg( 'search-nonefound' );
+			$wgOut->addWikiMsg( 'search-nonefound', wfEscapeWikiText( $term ) );
 		}
 		$wgOut->addHtml( "</div>" );
 		if( $num === 0 ) {
-- 
2.20.1