thumb: indicate 1 month caching of generated output
[minimedit.git] / page.inc.php
index 39d2008dc88823c799159b8a9c96494ba2a2d84c..8298c6d4482ca806b747380433696f0634334cbf 100644 (file)
@@ -1,10 +1,33 @@
 <?php
-include_once './head.inc.php';
+$body = getoutput(@$Place);
+
+include_once 'head.inc.php';
 
 print "<header>\n";
 ob_start();
-include './menu.html';
-$nav = ob_get_clean();
+include 'menu.html';
+ob_start();
+if ($User) {
+       print '<div class="login"><p>';
+       printf('<span>Ingelogd: <b><a href="%s">%s</a></b></span>', '/login', $User->login);
+       if ($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>';
+               }
+       }
+       print "</p></div>\n";
+}
+$nav = getoutput(['login' => ob_get_clean()]);
+
 $nav = preg_replace_callback('{<a href="([^"]+)">(.*?)</a>}', function ($m) {
        $request = $_SERVER['REQUEST_URI'];
        $html = $request == $m[1] ? $m[2] : $m[0]; # text or full link
@@ -13,8 +36,23 @@ $nav = preg_replace_callback('{<a href="([^"]+)">(.*?)</a>}', function ($m) {
 print $nav;
 print "</header>\n\n";
 
+print $body;
+
 register_shutdown_function(function () {
-       include 'foot.inc.php';
+       print '<footer>';
+       @include 'footer.html';
+       print "</footer>\n";
+
+       global $User;
+       if ($User and $User->admin) {
+               $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");
+               print '<script src="/edit/page.js"></script>'."\n";
+       }
+
        print "</body></html>\n";
 });