page: rename head includes

[minimedit.git] / head.inc.php

diff --git a/head.inc.php b/head.inc.php
deleted file mode 100644 (file)
index 2522ad7..0000000
--- a/head.inc.php
+++ /dev/null
@@ -1,29 +0,0 @@
-<?php
-include_once 'head.inc.html';
-
-print "<header>\n";
-
-ob_start();
-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);
-print $nav;
-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");
-