From a3de4610e7204c10dd75ad0d1d69772d177e1f78 Mon Sep 17 00:00:00 2001
From: Matthias Jordan <matjordan@users.mediawiki.org>
Date: Fri, 1 Aug 2003 23:44:28 +0000
Subject: [PATCH] Changed the search default namespace code to use the new
 variable for the name of the Main namespace.

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

diff --git a/includes/SpecialPreferences.php b/includes/SpecialPreferences.php
index 778ad29929..4e1ed33ca5 100644
--- a/includes/SpecialPreferences.php
+++ b/includes/SpecialPreferences.php
@@ -181,7 +181,7 @@ function wfSpecialPreferences()
 			$checked = " checked";
 		}
 		$name = str_replace( "_", " ", $ns[$i] );
-		if ( "" == $name ) { $name = "(Main)"; }
+		if ( "" == $name ) { $name = wfMsg( "blanknamespace" ); }
 
 		if ( 0 != $i ) { $r1 .= " "; }
 		$r1 .= "<label><input type=checkbox value=\"1\" name=\"" .
-- 
2.20.1