]> git.joonet.de Git - adminer.git/commitdiff
Whitespace
authorJakub Vrana <jakub@vrana.cz>
Tue, 19 Oct 2010 15:29:27 +0000 (17:29 +0200)
committerJakub Vrana <jakub@vrana.cz>
Tue, 19 Oct 2010 15:29:27 +0000 (17:29 +0200)
adminer/include/adminer.inc.php

index c0c0a011ba0ed2af8aa53db5d961237e97e64264..ce13b8ca61e6e5f2b5cc37d71d870ae4fc5169ab 100644 (file)
@@ -524,13 +524,13 @@ document.getElementById('username').focus();
 <form action="" method="post">
 <p class="logout">
 <?php
-if (DB == "" || !$missing) {
-       echo "<a href='" . h(ME) . "sql='>" . bold(lang('SQL command'), isset($_GET["sql"])) . "</a>\n";
-       if (support("dump")) {
-               echo "<a href='" . h(ME) . "dump=" . urlencode(isset($_GET["table"]) ? $_GET["table"] : $_GET["select"]) . "'>" . bold(lang('Dump'), isset($_GET["dump"])) . "</a>\n";
-       }
-}
-?>
+                       if (DB == "" || !$missing) {
+                               echo "<a href='" . h(ME) . "sql='>" . bold(lang('SQL command'), isset($_GET["sql"])) . "</a>\n";
+                               if (support("dump")) {
+                                       echo "<a href='" . h(ME) . "dump=" . urlencode(isset($_GET["table"]) ? $_GET["table"] : $_GET["select"]) . "'>" . bold(lang('Dump'), isset($_GET["dump"])) . "</a>\n";
+                               }
+                       }
+                       ?>
 <input type="hidden" name="token" value="<?php echo $token; ?>">
 <input type="submit" name="logout" value="<?php echo lang('Logout'); ?>">
 </p>