From ff0fe92c0026c21c834ada4cec2307efdcdcedf9 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Tue, 18 Mar 2025 19:51:25 +0100 Subject: [PATCH] Add forgotten space --- adminer/include/adminer.inc.php | 2 +- editor/include/adminer.inc.php | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/adminer/include/adminer.inc.php b/adminer/include/adminer.inc.php index 6eb039af..55177ad8 100644 --- a/adminer/include/adminer.inc.php +++ b/adminer/include/adminer.inc.php @@ -986,7 +986,7 @@ class Adminer { */ function navigation($missing) { global $VERSION, $drivers, $connection; - echo "

" . $this->name() . "$VERSION"; + echo "

" . $this->name() . " $VERSION"; $new_version = $_COOKIE["adminer_version"]; echo " " . (version_compare($VERSION, $new_version) < 0 ? h($new_version) : "") . ""; echo "

\n"; diff --git a/editor/include/adminer.inc.php b/editor/include/adminer.inc.php index 304cffaf..f7608be4 100644 --- a/editor/include/adminer.inc.php +++ b/editor/include/adminer.inc.php @@ -590,7 +590,7 @@ qsl('div').onclick = whisperClick;", "") function navigation($missing) { global $VERSION; - echo "

" . $this->name() . "$VERSION"; + echo "

" . $this->name() . " $VERSION"; $new_version = $_COOKIE["adminer_version"]; echo " " . (version_compare($VERSION, $new_version) < 0 ? h($new_version) : "") . ""; echo "

\n";