Remove unused code

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@481 7c3ca157-0c34-0410-bff1-cbf682f78f5c

diff --git a/privileges.inc.php b/privileges.inc.php
index 9eb4f3d7d9177f0e2f0ae731615edbcb832be9ce..eb8a377493c6ba407d6162fcd55213faf3b2e4b8 100644 (file)
--- a/privileges.inc.php
+++ b/privileges.inc.php
@@ -3,11 +3,6 @@ page_header(lang('Privileges'));
 echo '<p><a href="' . htmlspecialchars($SELF) . 'user=">' . lang('Create user') . "</a></p>";
 $result = $mysql->query("SELECT User, Host FROM mysql.user ORDER BY Host, User");
 if (!$result) {
-       echo "<form action=''><p>\n";
-       if (strlen($_GET["server"])) {
-               echo '<input type="hidden" name="server" value="' . htmlspecialchars($_GET["server"]) . '" />';
-       }
-       echo "</p></form>\n";
        ?>
        <form action=""><p>
        <?php if (strlen($_GET["server"])) { ?><input type="hidden" name="server" value="<?php echo htmlspecialchars($_GET["server"]); ?>" /><?php } ?>