From 75411495224959f3ec091d0ff5a44c1d0ebe0de3 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Tue, 18 Feb 2025 08:43:51 +0100 Subject: [PATCH] Use Unicode --- adminer/include/design.inc.php | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/adminer/include/design.inc.php b/adminer/include/design.inc.php index e02fbc87..228db7b2 100644 --- a/adminer/include/design.inc.php +++ b/adminer/include/design.inc.php @@ -68,25 +68,25 @@ var thousandsSeparator = ''; ' . $drivers[DRIVER] . ' » '; + echo '