Wrap username in <span>

Username enclosed in tags for better use of custom themes (eg. vertical padding).

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