From 1ed6d72f061c2bc619f4e69cd0fa8f458a1e1206 Mon Sep 17 00:00:00 2001
From: Mischa POSLAWSKY <perl@shiar.org>
Date: Thu, 14 Jun 2018 11:13:42 +0200
Subject: [PATCH] page: silence php warning of undefined user

Broken since commit v2.6-18-g297195ea7c (2018-06-09)
[page: set placeholder after page script].
---
 page.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/page.php b/page.php
index 554735c..50e098a 100644
--- a/page.php
+++ b/page.php
@@ -152,7 +152,7 @@ if ($Page) {
 }
 
 $Place += [
-	'user'  => $User ? $User['name'] : '',
+	'user'  => empty($User) ? '' : $User['name'],
 	'url'   => htmlspecialchars($_SERVER['REQUEST_URI']),
 ];
 
-- 
2.30.0