page: silence php warning of undefined user

Broken since commit v2.6-18-g297195ea7c (2018-06-09)
[page: set placeholder after page script].

diff --git a/page.php b/page.php
index 554735c69b53f9f0db275d5c6ea2fe6df80a4198..50e098acaf1c0606e1483bca1886124f04339c31 100644 (file)
--- 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']),
 ];