From 9d47d1e64d873537859715d3bf42509dba9e9471 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Tue, 19 Oct 2010 17:29:27 +0200 Subject: [PATCH] Whitespace --- adminer/include/adminer.inc.php | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/adminer/include/adminer.inc.php b/adminer/include/adminer.inc.php index c0c0a011..ce13b8ca 100644 --- a/adminer/include/adminer.inc.php +++ b/adminer/include/adminer.inc.php @@ -524,13 +524,13 @@ document.getElementById('username').focus();

" . bold(lang('SQL command'), isset($_GET["sql"])) . "\n"; - if (support("dump")) { - echo "" . bold(lang('Dump'), isset($_GET["dump"])) . "\n"; - } -} -?> + if (DB == "" || !$missing) { + echo "" . bold(lang('SQL command'), isset($_GET["sql"])) . "\n"; + if (support("dump")) { + echo "" . bold(lang('Dump'), isset($_GET["dump"])) . "\n"; + } + } + ?>