From: Jakub Vrana <jakub@vrana.cz>
Date: Tue, 30 Jan 2018 15:21:04 +0000 (+0100)
Subject: Fix edit_type after 1f21cd43
X-Git-Tag: v4.6.0~52
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=cc31a69b654df19c76b8a75ca3f18a93d9dfedba;p=adminer.git

Fix edit_type after 1f21cd43
---

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) {