page: omit numeric placeholders during edit
[minimedit.git] / page.inc.php
index 0ca658920d98877769933d9ab9eace195de48ed8..4cc693942f09a1659d0c20a2ec58c196265e7f13 100644 (file)
@@ -1,28 +1,31 @@
 <?php
-include_once 'head.inc.php';
+$body = ob_get_clean();
+
+include_once './head.inc.php';
 
 print "<header>\n";
 ob_start();
-include 'menu.html';
+include './menu.html';
 $nav = 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
        return $m[1] == substr($request, 0, strlen($m[1])) ? "<b>$html</b>" : $html;
 }, $nav);
+if (isset($User)) {
+       $nav = preg_replace('{\s*<li class="logout">.*?</li>}', '', $nav);
+       $nav = str_replace('[[login]]', $User['name'], $nav);
+}
+else {
+       $nav = preg_replace('{\s*<li class="login">.*?</li>}', '', $nav);
+}
 print $nav;
 print "</header>\n\n";
 
-print '<div class="article">'."\n\n";
-
-include_once 'auth.inc.php';
+print $body;
 
 register_shutdown_function(function () {
-       print "</div>\n\n";
        include 'foot.inc.php';
        print "</body></html>\n";
 });
 
-include "$Page.html";
-if (file_exists("$Page.php")) include_once("$Page.php");
-