"; //
for easy styling
- echo "";
+ echo "";
echo "
\n";
}
@@ -297,7 +297,7 @@ username.form['auth[driver]'].onchange();
function selectLengthPrint($text_length) {
if ($text_length !== null) {
echo "
\n";
}
}
diff --git a/adminer/include/design.inc.php b/adminer/include/design.inc.php
index fb13af2d..c2a331fd 100644
--- a/adminer/include/design.inc.php
+++ b/adminer/include/design.inc.php
@@ -16,7 +16,7 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
$title_all = $title . ($title2 != "" ? ": " . h($title2) : "");
$title_page = strip_tags($title_all . (SERVER != "" && SERVER != "localhost" ? h(" - " . SERVER) : "") . " - " . $adminer->name());
?>
-
+
diff --git a/adminer/include/editing.inc.php b/adminer/include/editing.inc.php
index ca7ebd28..8a7da38d 100644
--- a/adminer/include/editing.inc.php
+++ b/adminer/include/editing.inc.php
@@ -147,7 +147,7 @@ function edit_type($key, $field, $collations, $foreign_keys = array()) {
global $structured_types, $types, $unsigned, $on_actions;
?>
- | " size="3" onfocus="editingLengthFocus(this);"> | " size="3" onfocus="editingLengthFocus(this);"> | |