From 42d92875c5fa8ee2932d86ea8776ed60980ef095 Mon Sep 17 00:00:00 2001
From: Peter Knut <peter@pematon.com>
Date: Wed, 16 Oct 2024 09:24:28 +0200
Subject: [PATCH] Print username next to the logout button

---
 adminer/include/design.inc.php | 22 +++++++++++++---------
 1 file changed, 13 insertions(+), 9 deletions(-)

diff --git a/adminer/include/design.inc.php b/adminer/include/design.inc.php
index c63e3ebf..a581f5d7 100644
--- a/adminer/include/design.inc.php
+++ b/adminer/include/design.inc.php
@@ -189,11 +189,12 @@ function page_messages($error) {
 	}
 }
 
-/** Print HTML footer
-* @param string "auth", "db", "ns"
-* @return null
-*/
-function page_footer($missing = "") {
+/**
+ * Prints HTML footer.
+ * @param $missing string "auth", "db", "ns"
+ */
+function page_footer($missing = "")
+{
 	global $adminer, $token;
 	?>
 </div>
@@ -201,15 +202,18 @@ function page_footer($missing = "") {
 <?php switch_lang(); ?>
 <?php if ($missing != "auth") { ?>
 <form action="" method="post">
-<p class="logout">
-<input type="submit" name="logout" value="<?php echo lang('Logout'); ?>" id="logout">
-<input type="hidden" name="token" value="<?php echo $token; ?>">
-</p>
+	<p class="logout">
+		<?php echo h($_GET["username"]); ?>
+		<input type="submit" name="logout" value="<?php echo lang('Logout'); ?>" id="logout">
+		<input type="hidden" name="token" value="<?php echo $token; ?>">
+	</p>
 </form>
 <?php } ?>
+
 <div id="menu">
 <?php $adminer->navigation($missing); ?>
 </div>
+
 <?php
 	echo script("setupSubmitHighlight(document);");
 }