From 72d2885b124a53a36b5ac1f6c14f43cf66c85d9a Mon Sep 17 00:00:00 2001
From: System Void <void@sysvoid.co>
Date: Tue, 4 Aug 2015 11:45:22 +0100
Subject: [PATCH] Removed closing PHP tags

They aren't needed, and every little helps. :)
---
 web/index.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/web/index.php b/web/index.php
index 35c889c9..be1ea8bc 100644
--- a/web/index.php
+++ b/web/index.php
@@ -5,4 +5,3 @@ if (isset($_SESSION['user'])) {
 } else {
     header("Location: /login/");
 }
-?>