From 483cbf1616085594ca2cc375ee80fcba533e5bc5 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Sun, 23 Feb 2025 13:36:37 +0100 Subject: [PATCH] Fix indent --- adminer/include/editing.inc.php | 19 +++++++++---------- 1 file changed, 9 insertions(+), 10 deletions(-) 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"