From 9ba4b86916c7c3ac289fc04152999531d5dcc5c2 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Wed, 18 Jun 2025 08:08:06 +0200
Subject: [PATCH] AdminerTablesFilter: Add title

---
 plugins/tables-filter.php | 23 +++++++++++++++++------
 1 file changed, 17 insertions(+), 6 deletions(-)

diff --git a/plugins/tables-filter.php b/plugins/tables-filter.php
index d0dd06f0..b72aec28 100644
--- 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(
+			'' => 'テーブル一覧をテーブル名でフィルタリング',
+		),
 	);
 }