page: replace login placeholder by precomposed paragraph

Prepare for more elaborate user details.

diff --git a/page.inc.php b/page.inc.php
index c0282eea341fcec090015953950f7c601c504c8f..c607fcf12a1638cc64728fd8d8f81282f8ff272a 100644 (file)
--- a/page.inc.php
+++ b/page.inc.php
@@ -6,7 +6,12 @@ include_once DOCROOT.'head.inc.php';
 print "<header>\n";
 ob_start();
 include DOCROOT.'menu.html';
-$nav = ob_get_clean();
+ob_start();
+if (isset($User)) {
+       printf('<p class="login">Ingelogd: %s</p>'."\n", $User['name']);
+}
+$nav = getoutput(['login' => ob_get_clean()]);
+
 $nav = preg_replace_callback('{<a href="([^"]+)">(.*?)</a>}', function ($m) {
        $request = $_SERVER['REQUEST_URI'];
        $html = $request == $m[1] ? $m[2] : $m[0]; # text or full link
@@ -14,7 +19,6 @@ $nav = preg_replace_callback('{<a href="([^"]+)">(.*?)</a>}', function ($m) {
 }, $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);