Apply fixes from StyleCI

This commit is contained in:
StyleCI Bot
2023-01-19 17:45:32 +00:00
parent b2f0fedce4
commit edfec973b8
16 changed files with 495 additions and 491 deletions

View File

@@ -1,12 +1,15 @@
<?php
// (A) START SESSION
session_start();
// (B) LOGOUT REQUEST
if (isset($_POST["logout"])) { unset($_SESSION["user"]); }
if (isset($_POST['logout'])) {
unset($_SESSION['user']);
}
// (C) REDIRECT TO LOGIN PAGE IF NOT LOGGED IN
if (!isset($_SESSION["user"])) {
header("Location: ../");
exit();
}
if (!isset($_SESSION['user'])) {
header('Location: ../');
exit();
}