From 230e4478872cb6546d3e6afbfe2e938a8de1562d Mon Sep 17 00:00:00 2001
From: Jo Michael <me@mynetx.net>
Date: Sun, 15 Apr 2012 02:08:06 +0200
Subject: [PATCH] Fix missing space after Profiling checkbox

---
 libraries/common.lib.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libraries/common.lib.php b/libraries/common.lib.php
index 08b9d7c57b..6ac10c4c5e 100644
--- a/libraries/common.lib.php
+++ b/libraries/common.lib.php
@@ -1404,7 +1404,7 @@ function PMA_profilingCheckbox($sql_query)
         echo '<input type="hidden" name="sql_query" value="' . htmlspecialchars($sql_query) . '" />' . "\n";
         echo '<input type="hidden" name="profiling_form" value="1" />' . "\n";
         PMA_display_html_checkbox('profiling', __('Profiling'), isset($_SESSION['profiling']), true);
-        echo '</form>' . "\n";
+        echo ' </form>' . "\n";
     }
 }