page: wrap menu in header container

[minimedit.git] / head.inc.php

diff --git a/head.inc.php b/head.inc.php
index 4489ce9856875a388a6e4a7022ce2a70ba92fe6b..5e19024665e5806c53638657671142020309d1d2 100644 (file)
--- a/head.inc.php
+++ b/head.inc.php
@@ -1,10 +1,20 @@
 <?php
-include 'head.inc.html';
+include_once 'head.inc.html';
+
+print "<header>\n";
+include 'menu.html';
+print "</header>\n\n";
 
 print '<div class="article">'."\n\n";
 
 include_once 'auth.inc.php';
 
 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");
+