git.shiar.nl
/
minimedit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
<?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 class="article">'."\n\n";
include_once 'auth.inc.php';
register_shutdown_function(function () {
+ print "</div>\n\n";
include 'foot.inc.php';
include 'foot.inc.php';
+ print "</body></html>\n";
});
});
+
+include "$Page.html";
+if (file_exists("$Page.php")) include_once("$Page.php");
+