From 1088cc5dca55124eac750b7d62399cb8f7385080 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Fri, 21 Feb 2014 09:15:59 -0800
Subject: [PATCH] Improve whitespace

---
 adminer/dump.inc.php | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/adminer/dump.inc.php b/adminer/dump.inc.php
index a717137c..005ae659 100644
--- a/adminer/dump.inc.php
+++ b/adminer/dump.inc.php
@@ -14,15 +14,14 @@ if ($_POST && !$error) {
 	$is_sql = preg_match('~sql~', $_POST["format"]);
 
 	if ($is_sql) {
-		echo "-- Adminer $VERSION " . $drivers[DRIVER] . " dump
-
-" . ($jush != "sql" ? "" : "SET NAMES utf8;
+		echo "-- Adminer $VERSION " . $drivers[DRIVER] . " dump\n\n";
+		if ($jush == "sql") {
+			echo "SET NAMES utf8;
 SET time_zone = '+00:00';
 " . ($_POST["data_style"] ? "SET foreign_key_checks = 0;
 SET sql_mode = 'NO_AUTO_VALUE_ON_ZERO';
 " : "") . "
-");
-		if ($jush == "sql") {
+";
 			$connection->query("SET time_zone = '+00:00';");
 		}
 	}