From 1ba7844f203e559df678b837d2ef1d61f33019ef Mon Sep 17 00:00:00 2001
From: Mischa POSLAWSKY <perl@shiar.org>
Date: Thu, 14 Sep 2017 00:59:16 +0200
Subject: [PATCH] page: user-dependent filter menu links

Remove .logout items for users, .login for guests.
---
 page.inc.php | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/page.inc.php b/page.inc.php
index bc2c57d..4cc6939 100644
--- a/page.inc.php
+++ b/page.inc.php
@@ -12,6 +12,13 @@ $nav = preg_replace_callback('{<a href="([^"]+)">(.*?)</a>}', function ($m) {
 	$html = $request == $m[1] ? $m[2] : $m[0]; # text or full link
 	return $m[1] == substr($request, 0, strlen($m[1])) ? "<b>$html</b>" : $html;
 }, $nav);
+if (isset($User)) {
+	$nav = preg_replace('{\s*<li class="logout">.*?</li>}', '', $nav);
+	$nav = str_replace('[[login]]', $User['name'], $nav);
+}
+else {
+	$nav = preg_replace('{\s*<li class="login">.*?</li>}', '', $nav);
+}
 print $nav;
 print "</header>\n\n";
 
-- 
2.30.0