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: link user name in header bar to login page
[minimedit.git]
/
page.inc.php
diff --git
a/page.inc.php
b/page.inc.php
index 9d49fad2df8050b4ac7daa86bf903080a9b34bb9..393d614dade2fd2004ba5ad94c40da611da8d302 100644
(file)
--- a/
page.inc.php
+++ b/
page.inc.php
@@
-9,9
+9,20
@@
include DOCROOT.'menu.html';
ob_start();
if (isset($User)) {
print '<div class="login"><p>';
ob_start();
if (isset($User)) {
print '<div class="login"><p>';
- printf('<span>Ingelogd: <b>
%s</b></span>
', $User['name']);
+ printf('<span>Ingelogd: <b>
<a href="%s">%s</a></b></span>', '/login
', $User['name']);
if ($User['admin']) {
if ($User['admin']) {
- print ' <a href="#edit">Wijzig</a>';
+ $editpage = $Page.$Args;
+ if (is_dir($editpage)) {
+ if (file_exists("$editpage/index.html")) {
+ $editpage .= '/index.html';
+ }
+ }
+ else {
+ $editpage .= '.html';
+ }
+ if (is_writable($editpage)) {
+ print ' <a href="#edit">Wijzig</a>';
+ }
}
print "</p></div>\n";
}
}
print "</p></div>\n";
}