Fix edit_type after 1f21cd43

diff --git a/adminer/include/editing.inc.php b/adminer/include/editing.inc.php
index 619bb27e9ed9c3e167b28e771d485a079135a1ea..9c66ec55e043c2414251b5768b5f75b56daa8bd5 100644 (file)
--- a/adminer/include/editing.inc.php
+++ b/adminer/include/editing.inc.php
@@ -143,7 +143,7 @@ function edit_type($key, $field, $collations, $foreign_keys = array(), $extra_ty
        $type = $field["type"];
        ?>
 <td><select name="<?php echo h($key); ?>[type]" class="type" aria-labelledby="label-type"><?php
-if ($type && !isset($types[$type], $foreign_keys[$type]) && !in_array($type, $extra_types)) {
+if ($type && !isset($types[$type]) && !isset($foreign_keys[$type]) && !in_array($type, $extra_types)) {
        $extra_types[] = $type;
 }
 if ($foreign_keys) {