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>';
- 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)) {
$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";
if ($User and $User->admin("edit $Page$Args")) {
$ckesrc = '/lib/ckeditor'; # local install
if (!file_exists(DOCROOT . $ckesrc)) {
- $ckesrc = '//cdn.ckeditor.com/4.7.3/full-all'; # remote fallback
+ $ckesrc = '//cdn.ckeditor.com/4.15.1/full-all'; # remote fallback
}
- printf('<script src="%s"></script>'."\n", "$ckesrc/ckeditor.js");
+ printf("<script>var ckesrc = '%s'</script>\n", "$ckesrc/ckeditor.js");
print '<script src="/edit/page.js"></script>'."\n";
}