page.inc.php

   1 <?php
   2 include_once 'head.inc.php';
   3
   4 print "<header>\n";
   5 $menu = new ArchiveArticle('menu.inc.html');
   6 ob_start();
   7 if ($User and property_exists($User, 'login') and $User->login) {
   8         print '<div class="login"><p>';
   9         printf('<span title="ingelogd">%s <a href="%s">%s</a></span>',
  10                 '<span class="icon icon-user">&#x1F464;</span>',
  11                 '/login', $User->login
  12         );
  13         if ($User->admin("edit {$Page->link}")) {
  14                 $editpage = $Page->link;
  15                 if (is_dir($editpage)) {
  16                         if (file_exists("$editpage/index.html")) {
  17                                 $editpage .= '/index.html';
  18                         }
  19                 }
  20                 else {
  21                         $editpage .= '.html';
  22                 }
  23                 if (!file_exists($editpage) or is_writable($editpage)) {
  24                         print ' <a class="icon icon-edit" href="#edit" title="wijzig">&#x270D;</a>';
  25                 }
  26         }
  27         print "</p></div>\n";
  28 }
  29 $menu->place['login'] = ob_get_clean();
  30 $nav = $menu->render();
  31
  32 $nav = preg_replace_callback('{<a href="([^"]+)">(.*?)</a>}', function ($m) {
  33         $request = $_SERVER['REQUEST_URI'];
  34         $html = $request == $m[1] ? $m[2] : $m[0]; # text or full link
  35         return $m[1] == substr($request, 0, strlen($m[1])) ? "<b>$html</b>" : $html;
  36 }, $nav);
  37 print $nav;
  38 print "</header>\n\n";
  39
  40 print $Page->render();
  41
  42 register_shutdown_function(function () {
  43         print '<footer>';
  44         @include 'footer.inc.html';
  45         print "</footer>\n";
  46
  47         global $User, $Page;
  48         if ($User and $User->admin("edit {$Page->link}")) {
  49                 $ckesrc = '/lib/ckeditor'; # local install
  50                 if (!file_exists(DOCROOT . $ckesrc)) {
  51                         $ckesrc = '//cdn.ckeditor.com/4.15.1/full-all'; # remote fallback
  52                 }
  53                 printf("<script>var ckesrc = '%s'</script>\n", "$ckesrc/ckeditor.js");
  54                 print '<script src="/edit/page.js"></script>'."\n";
  55         }
  56
  57         print "</body></html>\n";
  58 });
  59