AdminerTablesFilter: Add title

diff --git a/plugins/tables-filter.php b/plugins/tables-filter.php
index d0dd06f03a163bdd0d3106e565078b35a67affef..b72aec283bcc0f049e9e4d6fa12e7b9d20121e59 100644 (file)
--- a/plugins/tables-filter.php
+++ b/plugins/tables-filter.php
@@ -64,15 +64,26 @@ sessionStorage && document.addEventListener('DOMContentLoaded', () => {
        sessionStorage.setItem('adminer_tables_filter_db', db);
 });
 </script>
-<p class="jsonly"><input id="filter-field" autocomplete="off" type="search"><?php echo Adminer\script("qs('#filter-field').oninput = tablesFilterInput;"); ?>
+<p class="jsonly"><?php echo $this->lang('Filter'); ?>: <input id="filter-field" autocomplete="off" type="search"><?php echo Adminer\script("qs('#filter-field').oninput = tablesFilterInput;"); ?>
 <?php
        }
 
        protected $translations = array(
-               'cs' => array('' => 'Filtruje názvy v seznamu tabulek'),
-               'de' => array('' => 'Filtern Sie Namen in der Tabellenliste'),
-               'pl' => array('' => 'Filtruj nazwy na liście tabel'),
-               'ro' => array('' => 'Nume de filtre în lista de tabele'),
-               'ja' => array('' => 'テーブル一覧をテーブル名でフィルタリング'),
+               'cs' => array(
+                       '' => 'Filtruje názvy v seznamu tabulek',
+                       'Filter' => 'Filtr',
+               ),
+               'de' => array(
+                       '' => 'Filtern Sie Namen in der Tabellenliste',
+               ),
+               'pl' => array(
+                       '' => 'Filtruj nazwy na liście tabel',
+               ),
+               'ro' => array(
+                       '' => 'Nume de filtre în lista de tabele',
+               ),
+               'ja' => array(
+                       '' => 'テーブル一覧をテーブル名でフィルタリング',
+               ),
        );
 }