From b19085b37b9fc65f540f2718479462f340d44f05 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Yunus=20=C3=87a=C4=9Fr=C4=B1?= <ycagriyurdakul@gmail.com>
Date: Mon, 19 Dec 2016 23:19:06 +0300
Subject: [PATCH] Feature: #12069: Filtering tables on table listing of
 particular database.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Yunus Çağrı <ycagriyurdakul@gmail.com>
---
 js/db_structure.js | 30 +++++++++++++++---------------
 1 file changed, 15 insertions(+), 15 deletions(-)

diff --git a/js/db_structure.js b/js/db_structure.js
index fd763a6c8f..b73229f142 100644
--- a/js/db_structure.js
+++ b/js/db_structure.js
@@ -187,21 +187,21 @@ function PMA_fetchRealRowCount($target)
  * 
  */
 function PMA_searchTables() {
-	var filter, table, tr;
-	filter = $("#tableSearch").val().toUpperCase();
-	table = $("#structureTable")[0];
-	tr = table.getElementsByTagName("tr");
-	
-	for (i = 0; i < tr.length; i++) {
-		a = tr[i].getElementsByTagName("a")[0];
-		if (a) {
-			if (a.text.trim().toUpperCase().indexOf(filter) > -1) {
-				tr[i].style.display = "";
-			} else {
-				tr[i].style.display = "none";
-			}
-		}
-	}
+    var filter, table, tr;
+    filter = $("#tableSearch").val().toUpperCase();
+    table = $("#structureTable")[0];
+    tr = table.getElementsByTagName("tr");
+
+    for (i = 0; i < tr.length; i++) {
+        a = tr[i].getElementsByTagName("a")[0];
+        if (a) {
+            if (a.text.trim().toUpperCase().indexOf(filter) > -1) {
+                tr[i].style.display = "";
+            } else {
+                tr[i].style.display = "none";
+            }
+        }
+    }
 }
 
 AJAX.registerOnload('db_structure.js', function () {