Removed closing PHP tags

They aren't needed, and every little helps. :)

web/index.php

@@ -5,4 +5,3 @@ if (isset($_SESSION['user'])) {
 } else {
     header("Location: /login/");
 }
-?>