From c5d71935bf920cae82c602ff3d644d2e4bb6df47 Mon Sep 17 00:00:00 2001
From: Mischa POSLAWSKY <perl@shiar.org>
Date: Tue, 12 Sep 2017 20:56:23 +0200
Subject: [PATCH] page: rename head includes

Site specific header from head.inc.html to head.inc.php to allow code,
replacing generic page container renamed to more appropriate page.inc.php.
---
 head.inc.php => page.inc.php | 3 +--
 page.php                     | 2 +-
 2 files changed, 2 insertions(+), 3 deletions(-)
 rename head.inc.php => page.inc.php (95%)

diff --git a/head.inc.php b/page.inc.php
similarity index 95%
rename from head.inc.php
rename to page.inc.php
index 2522ad7..0ca6589 100644
--- a/head.inc.php
+++ b/page.inc.php
@@ -1,8 +1,7 @@
 <?php
-include_once 'head.inc.html';
+include_once 'head.inc.php';
 
 print "<header>\n";
-
 ob_start();
 include 'menu.html';
 $nav = ob_get_clean();
diff --git a/page.php b/page.php
index 51ef900..c888524 100644
--- a/page.php
+++ b/page.php
@@ -31,4 +31,4 @@ while (TRUE) {
 
 $Edit = isset($_GET['edit']);
 
-include 'head.inc.php';
+include 'page.inc.php';
-- 
2.30.0