From 6b827ac1db2d28f8fa7e32f665e67939d9aee9ee Mon Sep 17 00:00:00 2001 From: Niek Rabelink Date: Mon, 7 Sep 2026 13:31:03 +0200 Subject: [PATCH] chore: Add new line at the end of auth.php, login.php, and logout.php for consistency --- auth.php | 1 + login.php | 1 + logout.php | 1 + 3 files changed, 3 insertions(+) diff --git a/auth.php b/auth.php index b6c649f..2871db7 100644 --- a/auth.php +++ b/auth.php @@ -88,3 +88,4 @@ function logout() { } @session_destroy(); } + diff --git a/login.php b/login.php index 3f33168..d24d20f 100644 --- a/login.php +++ b/login.php @@ -284,3 +284,4 @@ $logoutMessage = isset($_GET['logout']) ? 'U bent succesvol en veilig uitgelogd. + diff --git a/logout.php b/logout.php index a6ee288..5a7b069 100644 --- a/logout.php +++ b/logout.php @@ -7,3 +7,4 @@ require_once __DIR__ . '/auth.php'; logout(); header('Location: login.php?logout=1'); exit; +