git.shiar.nl
/
minimedit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
edit/page: input replacement of breaking space after abbreviations
[minimedit.git]
/
page.inc.php
diff --git
a/page.inc.php
b/page.inc.php
index b7a7e77ab2e01764c4ba1ce43faf3364d26ecc2d..c21b4e7b9f45dfcef645e9839dc375b417864370 100644
(file)
--- a/
page.inc.php
+++ b/
page.inc.php
@@
-7,9
+7,12
@@
print "<header>\n";
ob_start();
include 'menu.inc.html';
ob_start();
ob_start();
include 'menu.inc.html';
ob_start();
-if ($User) {
+if ($User
and property_exists($User, 'login') and $User->login
) {
print '<div class="login"><p>';
print '<div class="login"><p>';
- printf('<span>Ingelogd: <b><a href="%s">%s</a></b></span>', '/login', $User->login);
+ printf('<span title="ingelogd">%s <a href="%s">%s</a></span>',
+ '<span class="icon icon-user">👤</span>',
+ '/login', $User->login
+ );
if ($User->admin("edit $Page$Args")) {
$editpage = $Page.$Args;
if (is_dir($editpage)) {
if ($User->admin("edit $Page$Args")) {
$editpage = $Page.$Args;
if (is_dir($editpage)) {
@@
-21,7
+24,7
@@
if ($User) {
$editpage .= '.html';
}
if (!file_exists($editpage) or is_writable($editpage)) {
$editpage .= '.html';
}
if (!file_exists($editpage) or is_writable($editpage)) {
- print ' <a
href="#edit">Wijzig
</a>';
+ print ' <a
class="icon icon-edit" href="#edit" title="wijzig">✍
</a>';
}
}
print "</p></div>\n";
}
}
print "</p></div>\n";