From bb4bf04ac874c411328c79dda0a843e62a6ba356 Mon Sep 17 00:00:00 2001
From: Mischa POSLAWSKY <perl@shiar.org>
Date: Tue, 11 Jul 2017 18:13:46 +0200
Subject: [PATCH] logout: clear user var to prevent disallowed edit option

---
 logout.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/logout.php b/logout.php
index 5b76572..112bb9b 100644
--- a/logout.php
+++ b/logout.php
@@ -4,6 +4,7 @@ http_response_code(401);
 
 // fallback page shown on authentication failure
 include 'head.inc.php';
+$Admin = $User = FALSE; // ignore old user headers
 ?>
 <h2>Niet ingelogd</h2>
 <p>Voor sitebeheer moet worden ingelogd met een gerechtigde gebruiker.</p>
-- 
2.30.0