From: Jakub Vrana Date: Sun, 23 Feb 2025 12:36:37 +0000 (+0100) Subject: Fix indent X-Git-Tag: v4.17.0~16 X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=483cbf1616085594ca2cc375ee80fcba533e5bc5;p=adminer.git Fix indent --- diff --git a/adminer/include/editing.inc.php b/adminer/include/editing.inc.php index 1984579f..478ece4e 100644 --- a/adminer/include/editing.inc.php +++ b/adminer/include/editing.inc.php @@ -209,16 +209,15 @@ function json_row($key, $val = null) { function edit_type($key, $field, $collations, $foreign_keys = array(), $extra_types = array()) { global $structured_types, $types, $unsigned, $on_actions; $type = $field["type"]; - ?> -" size="3"