From: Jakub Vrana Date: Tue, 18 Mar 2025 18:51:25 +0000 (+0100) Subject: Add forgotten space X-Git-Tag: v5.1.0~120 X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=ff0fe92c0026c21c834ada4cec2307efdcdcedf9;p=adminer.git Add forgotten space --- 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";