From: Jakub Vrana Date: Mon, 9 Sep 2019 15:10:52 +0000 (+0200) Subject: Delete extra newlines X-Git-Tag: v4.7.5~15 X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=fd5f5b8805da310daf68e25640d0a851b1884476;p=adminer.git Delete extra newlines --- 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">