page.inc.php

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