nieuws/feed: prefer article dates from metadata

[minimedit.git] / page.inc.php

diff --git a/page.inc.php b/page.inc.php
index 7a54bf7424b59603c98509a65ae83da5962bcf1b..ae223f1a1f5383f6ca2dbf795f82a7eb27f87940 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();
-if (!empty($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">&#x1F464;</span>',
+               '/login', $User->login
+       );
        if ($User->admin("edit $Page$Args")) {
                $editpage = $Page.$Args;
                if (is_dir($editpage)) {
@@ -21,7 +24,7 @@ if (!empty($User)) {
                        $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">&#x270D;</a>';
                }
        }
        print "</p></div>\n";
@@ -44,12 +47,12 @@ register_shutdown_function(function () {
        print "</footer>\n";
 
        global $User, $Page, $Args;
-       if (!empty($User) and $User->admin("edit $Page$Args")) {
+       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
                }
-               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";
        }