Print username next to the logout button

diff --git a/adminer/include/design.inc.php b/adminer/include/design.inc.php
index 09c3a854ddcd5d33f298a0b3c74650c7b7943a74..e02fbc878b662e98e10c63a89f4aac1b058ac9ed 100644 (file)
--- a/adminer/include/design.inc.php
+++ b/adminer/include/design.inc.php
@@ -182,6 +182,7 @@ function page_footer($missing = "") {
 <?php if ($missing != "auth") { ?>
 <form action="" method="post">
 <p class="logout">
+<?php echo h($_GET["username"]) . "\n"; ?>
 <input type="submit" name="logout" value="<?php echo lang('Logout'); ?>" id="logout">
 <input type="hidden" name="token" value="<?php echo $token; ?>">
 </p>