Plugin tables filter

This commit is contained in:
Jakub Vrana 2011-05-24 17:35:57 +02:00
parent e641e5ceba
commit 5bc419ef32
2 changed files with 34 additions and 0 deletions

View file

@ -19,6 +19,7 @@ function adminer_object() {
new AdminerTranslation,
new AdminerForeignSystem,
new AdminerEnumOption,
new AdminerTablesFilter,
);
/* It is possible to combine customization and plugins:

33
plugins/tables-filter.php Normal file
View file

@ -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;
}
}