Save bytes

diff --git a/adminer/include/adminer.inc.php b/adminer/include/adminer.inc.php
index c7ad4f70089dff15f6f8f48d275547dc53da4678..c0fa596858ba8d4f9c281fd04b0fe0d329447fe3 100644 (file)
--- a/adminer/include/adminer.inc.php
+++ b/adminer/include/adminer.inc.php
@@ -1020,12 +1020,12 @@ bodyLoad('<?php echo (is_object($connection) ? preg_replace('~^(\d\.?\d).*~s', '
                                }
                        }
                }
-               echo (isset($_GET["import"]) ? '<input type="hidden" name="import" value="">'
-                       : (isset($_GET["sql"]) ? '<input type="hidden" name="sql" value="">'
-                       : (isset($_GET["schema"]) ? '<input type="hidden" name="schema" value="">'
-                       : (isset($_GET["dump"]) ? '<input type="hidden" name="dump" value="">'
-                       : (isset($_GET["privileges"]) ? '<input type="hidden" name="privileges" value="">'
-               : "")))));
+               foreach (array("import", "sql", "schema", "dump", "privileges") as $val) {
+                       if (isset($_GET[$val])) {
+                               echo "<input type='hidden' name='$val' value=''>";
+                               break;
+                       }
+               }
                echo "</p></form>\n";
        }