From 31d8803db259958717296ff0715edcec197e39ec Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Tue, 6 Feb 2018 14:13:51 +0100
Subject: [PATCH] Editor: Use type=search for Search tables

---
 editor/db.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/editor/db.inc.php b/editor/db.inc.php
index cbdeba4e..5c13f6e6 100644
--- a/editor/db.inc.php
+++ b/editor/db.inc.php
@@ -3,7 +3,7 @@ page_header(lang('Server'), "", false);
 
 if ($adminer->homepage()) {
 	echo "<form action='' method='post'>\n";
-	echo "<p>" . lang('Search data in tables') . ": <input name='query' value='" . h($_POST["query"]) . "'> <input type='submit' value='" . lang('Search') . "'>\n";
+	echo "<p>" . lang('Search data in tables') . ": <input type='search' name='query' value='" . h($_POST["query"]) . "'> <input type='submit' value='" . lang('Search') . "'>\n";
 	if ($_POST["query"] != "") {
 		search_tables();
 	}