From cc31a69b654df19c76b8a75ca3f18a93d9dfedba Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Tue, 30 Jan 2018 16:21:04 +0100
Subject: [PATCH] Fix edit_type after 1f21cd43

---
 adminer/include/editing.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/adminer/include/editing.inc.php b/adminer/include/editing.inc.php
index 619bb27e..9c66ec55 100644
--- 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) {