From c9ce57c7b0b93fd074c17e171d669fb1ce997b6d Mon Sep 17 00:00:00 2001
From: Andreas Zweili <andreas@2li.ch>
Date: Fri, 6 Jan 2017 13:12:16 +0100
Subject: [PATCH] remove whitespace

---
 navigation.php | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/navigation.php b/navigation.php
index 2a038d7..a414167 100644
--- a/navigation.php
+++ b/navigation.php
@@ -1,8 +1,7 @@
  <?php
- echo "
-  <ul>
+ echo '<ul>
     <li><a href="ticket.php">Ticket</a></li>
     <li><a href="board.php">Board</a></li>
     <li><a class="active" href="index.php">Home</a></li>
-  </ul>"
+  </ul>'
 ?>