From fd5f5b8805da310daf68e25640d0a851b1884476 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Mon, 9 Sep 2019 17:10:52 +0200 Subject: [PATCH] Delete extra newlines --- adminer/include/editing.inc.php | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/adminer/include/editing.inc.php b/adminer/include/editing.inc.php index ad666bf1..18594eb3 100644 --- a/adminer/include/editing.inc.php +++ b/adminer/include/editing.inc.php @@ -177,8 +177,7 @@ if ($foreign_keys) { $structured_types[lang('Foreign keys')] = $foreign_keys; } echo optionlist(array_merge($extra_types, $structured_types), $type); -?> - +?> " size="3" aria-labelledby="label-length">