From f96446d7c23d1000f595ae0fcef8eca52a68b71d Mon Sep 17 00:00:00 2001
From: "max.mehl" <max.mehl@fsfe.org>
Date: Tue, 28 Mar 2017 01:42:45 +0200
Subject: [PATCH] add newline after execution time comment

---
 static/cgi/sign.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/cgi/sign.php b/static/cgi/sign.php
index 5d16102..5d1c48c 100644
--- a/static/cgi/sign.php
+++ b/static/cgi/sign.php
@@ -272,7 +272,7 @@ function show_page($output, $exit) {
   
   // PHP execution time tracking
   global $timer_start;
-  echo "<!-- PHP execution time: " . (microtime(true) - $timer_start)*1000 . " ms -->";
+  echo "<!-- PHP execution time: " . (microtime(true) - $timer_start)*1000 . " ms -->\n";
   
   exit($exit);
 }