From: Jakub Vrana <jakub@vrana.cz>
Date: Tue, 24 May 2011 15:35:57 +0000 (+0200)
Subject: Plugin tables filter
X-Git-Tag: v3.3.0~64
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=5bc419ef3230f4d3028b1c5425237a7f00a13ea1;p=adminer.git

Plugin tables filter
---

diff --git a/adminer/plugin.php b/adminer/plugin.php
index b6f7e5ed..5d60a854 100644
--- a/adminer/plugin.php
+++ b/adminer/plugin.php
@@ -19,6 +19,7 @@ function adminer_object() {
 		new AdminerTranslation,
 		new AdminerForeignSystem,
 		new AdminerEnumOption,
+		new AdminerTablesFilter,
 	);
 	
 	/* It is possible to combine customization and plugins:
diff --git a/plugins/tables-filter.php b/plugins/tables-filter.php
new file mode 100644
index 00000000..6b00a653
--- /dev/null
+++ b/plugins/tables-filter.php
@@ -0,0 +1,33 @@
+<?php
+
+/** Use filter in tables list
+* @author Jakub Vrana, http://www.vrana.cz/
+* @license http://www.apache.org/licenses/LICENSE-2.0 Apache License, Version 2.0
+* @license http://www.gnu.org/licenses/gpl-2.0.html GNU General Public License, version 2 (one or other)
+*/
+class AdminerTablesFilter {
+	
+	function tablesPrint($tables) {
+		?>
+<script type="text/javascript">
+function tablesFilter(value) {
+	var tables = document.getElementById('tables').getElementsByTagName('span');
+	for (var i = tables.length; i--; ) {
+		var a = tables[i].children[1];
+		var text = a.innerText || a.textContent;
+		tables[i].className = (text.indexOf(value) == -1 ? 'hidden' : '');
+		a.innerHTML = text.replace(value, '<b>' + value + '</b>');
+	}
+}
+</script>
+<p class="jsonly"><input onkeyup="tablesFilter(this.value);">
+<?php
+		echo "<p id='tables'>\n";
+		foreach ($tables as $table => $type) {
+			echo '<span><a href="' . h(ME) . 'select=' . urlencode($table) . '"' . bold($_GET["select"] == $table) . ">" . lang('select') . "</a> ";
+			echo '<a href="' . h(ME) . 'table=' . urlencode($table) . '"' . bold($_GET["table"] == $table) . ">" . h($table) . "</a><br></span>\n";
+		}
+		return true;
+	}
+	
+}