- printf('<span>Ingelogd: <b><a href="%s">%s</a></b></span>', '/login', $User['name']);
- if (!empty($User['admin'])) {
- $editpage = $Page.$Args;
- if (is_dir($editpage)) {
- if (file_exists("$editpage/index.html")) {
- $editpage .= '/index.html';
- }
- }
- else {
- $editpage .= '.html';
- }
- if (!file_exists($editpage) or is_writable($editpage)) {
- print ' <a href="#edit">Wijzig</a>';
- }
- }
+ printf('<span title="ingelogd">%s <a href="%s">%s</a></span>',
+ '<span class="icon icon-user">👤</span>',
+ '/login', $User->login
+ );