From 1ff6f246e84cc1ceeab187e9517a3c9de0efc78c Mon Sep 17 00:00:00 2001 From: Peter Knut Date: Tue, 22 Oct 2024 12:52:48 +0200 Subject: [PATCH] Add
for page footer, layout changes --- adminer/include/design.inc.php | 37 ++++++++++++++++++++-------------- adminer/include/lang.inc.php | 4 ++-- adminer/static/default.css | 2 +- 3 files changed, 25 insertions(+), 18 deletions(-) diff --git a/adminer/include/design.inc.php b/adminer/include/design.inc.php index c7c8d0bf..b81e88a6 100644 --- a/adminer/include/design.inc.php +++ b/adminer/include/design.inc.php @@ -187,29 +187,36 @@ function page_messages($error) { /** * Prints HTML footer. + * * @param $missing string "auth", "db", "ns" */ function page_footer($missing = "") { global $adminer, $token; + + echo "
"; // #content + + echo " - - -
-

- - - -

-
- - - +
+
+ + + +
+
\n"; + + echo "\n"; + echo script("setupSubmitHighlight(document);"); } diff --git a/adminer/include/lang.inc.php b/adminer/include/lang.inc.php index 0122da6a..5de8bc0e 100644 --- a/adminer/include/lang.inc.php +++ b/adminer/include/lang.inc.php @@ -87,11 +87,11 @@ function lang($idf, $number = null) { function switch_lang() { global $LANG, $langs; - echo "
\n
"; + echo "
\n"; echo lang('Language') . ": " . html_select("lang", $langs, $LANG, "this.form.submit();"); echo " \n"; echo "\n"; // $token may be empty in auth.inc.php - echo "
\n\n"; + echo "
\n"; } if (isset($_POST["lang"]) && verify_token()) { // $error not yet available diff --git a/adminer/static/default.css b/adminer/static/default.css index ecd994d6..12183c20 100644 --- a/adminer/static/default.css +++ b/adminer/static/default.css @@ -69,7 +69,7 @@ p.nowrap { white-space: pre; } .footer > div { background: #fff; padding: 0 0 .5em; } .footer fieldset { margin-top: 0; } .links a { white-space: nowrap; margin-right: 20px; } -.logout { margin-top: .5em; position: absolute; top: 0; right: 0; } +.logout { margin: .5em 20px 0 0; position: absolute; top: 0; right: 0; } .loadmore { margin-left: 1ex; } .tables-filter { padding: .8em 1em 0; } .handle { cursor: grab; vertical-align: middle; }