From e4145dda57f83372d44b265ed6b852ec7aa086c0 Mon Sep 17 00:00:00 2001
From: Antoine Musso <hashar@users.mediawiki.org>
Date: Sat, 22 Oct 2005 21:33:53 +0000
Subject: [PATCH] killing double quotes. width attribute is invalid for input
 element, using size instead (the value is the number of character)

---
 includes/SpecialSearch.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/SpecialSearch.php b/includes/SpecialSearch.php
index b1abb72c61..6ff335fd7d 100644
--- a/includes/SpecialSearch.php
+++ b/includes/SpecialSearch.php
@@ -395,8 +395,8 @@ class SpecialSearch {
 			: '';
 		$redirect = "<input type='checkbox' value='1' name=\"redirs\"{$checked} />\n";
 		
-		$searchField = "<input type='text' name=\"search\" value=\"" .
-			htmlspecialchars( $term ) ."\" width=\"80\" />\n";
+		$searchField = '<input type="text" name="search" value="' .
+			htmlspecialchars( $term ) ."\" size=\"16\" />\n";
 		
 		$searchButton = '<input type="submit" name="searchx" value="' .
 		  htmlspecialchars( wfMsg('powersearch') ) . "\" />\n";
-- 
2.20.1