From 5bc419ef3230f4d3028b1c5425237a7f00a13ea1 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Tue, 24 May 2011 17:35:57 +0200 Subject: [PATCH] Plugin tables filter --- adminer/plugin.php | 1 + plugins/tables-filter.php | 33 +++++++++++++++++++++++++++++++++ 2 files changed, 34 insertions(+) create mode 100644 plugins/tables-filter.php 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 @@ + + +

+\n"; + foreach ($tables as $table => $type) { + echo '" . lang('select') . " "; + echo '" . h($table) . "
\n"; + } + return true; + } + +}