From 3dc8ee84100f4d994ddd2ec69fccda75e5dee72c Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@madoka.spb.ru>
Date: Fri, 30 Nov 2007 09:06:17 +0100
Subject: use input type=search for search UI

---
 modules/pref-feeds.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'modules/pref-feeds.php')

diff --git a/modules/pref-feeds.php b/modules/pref-feeds.php
index 85ed174fb..c31977164 100644
--- a/modules/pref-feeds.php
+++ b/modules/pref-feeds.php
@@ -743,7 +743,7 @@
 		}
 
 		print "<div class=\"feedEditSearch\">
-			<input id=\"feed_search\" size=\"20\"  
+			<input id=\"feed_search\" size=\"20\" type=\"search\"
 				onchange=\"javascript:updateFeedList()\" value=\"$feed_search\">
 			<input type=\"submit\" class=\"button\" 
 				onclick=\"javascript:updateFeedList()\" value=\"".__('Search')."\">
-- 
cgit v1.2.3