git.shiar.nl
/
minimedit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
page: user-dependent filter menu links
[minimedit.git]
/
page.inc.php
diff --git
a/page.inc.php
b/page.inc.php
index bc2c57d5de5df8ad8f92138e234d8d8d2803cab7..4cc693942f09a1659d0c20a2ec58c196265e7f13 100644
(file)
--- 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);
$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";
print $nav;
print "</header>\n\n";