Fix space indents created by previous updates

This commit is contained in:
Lukáš Rajchl 2024-04-08 07:49:57 +02:00
parent f1e13af925
commit 2a5e8b6c21
2 changed files with 4 additions and 4 deletions

View file

@ -881,7 +881,7 @@ class Adminer {
if (!empty($fields[$field->name]['generated'])) {
$generatedKeys[$field->name] = true;
continue;
}
}
$keys[] = $field->name;
$key = idf_escape($field->name);
$values[] = "$key = VALUES($key)";
@ -902,7 +902,7 @@ class Adminer {
if (isset($generatedKeys[$key])) {
unset($row[$key]);
continue;
}
}
$field = $fields[$key];
$row[$key] = ($val !== null
? unconvert_field($field, preg_match(number_type(), $field["type"]) && !preg_match('~\[~', $field["full_type"]) && is_numeric($val) ? $val : q(($val === false ? 0 : $val)))

View file

@ -193,7 +193,7 @@ legend a:link:hover {
code {
/* background: none; */
padding: 3px 6px;
padding: 3px 6px;
}
p code,
@ -259,7 +259,7 @@ p code + a:visited:hover {
padding-top: 9px;
text-transform: lowercase;
margin: 25px 0 10px 16px;
border-top: none;
border-top: none;
}
#menu h1 a {