]> git.joonet.de Git - adminer.git/commitdiff
Plugin tables filter
authorJakub Vrana <jakub@vrana.cz>
Tue, 24 May 2011 15:35:57 +0000 (17:35 +0200)
committerJakub Vrana <jakub@vrana.cz>
Tue, 24 May 2011 15:35:57 +0000 (17:35 +0200)
adminer/plugin.php
plugins/tables-filter.php [new file with mode: 0644]

index b6f7e5ede907281b46f75d27900e7c4e8d674ff9..5d60a8545dfd10d615595c6db199f2396ebc9456 100644 (file)
@@ -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 (file)
index 0000000..6b00a65
--- /dev/null
@@ -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;
+       }
+       
+}