page: rename head/foot include files

Replace initial common.html and footer.html by a more logical
head.inc.html and foot.inc.html pair.

diff --git a/404.html b/404.html
index b55bf617f63868b7926ca04a52221a16c6d7ee75..b88d08242cba6f965d7651856a9f259806353c43 100644 (file)
--- a/404.html
+++ b/404.html
@@ -1,4 +1,4 @@
-<!--#include virtual="common.html" -->
+<!--#include virtual="/head.inc.html" -->
 
 <h2>Niet gevonden</h2>
 
@@ -6,4 +6,4 @@
 De gevraagde pagina <em><!--#echo var="REQUEST_URI" --></em> bestaat niet.
 </p>
 
-<!--#include virtual="footer.html" -->
+<!--#include virtual="/foot.inc.html" -->

diff --git a/edit.php b/edit.php
index 28d866b477874a45b6b43aa96ad035ef287f49da..80a49eb5e6dba49a62dad68d9a8190dc48df34d6 100755 (executable)
--- a/edit.php
+++ b/edit.php
@@ -28,8 +28,8 @@ if (!strlen($upload)) {
        exit;
 }
 
-$prepend = '<!--#include virtual="/common.html" -->'."\n\n";
-$append  = "\n".'<!--#include virtual="/footer.html" -->'."\n";
+$prepend = '<!--#include virtual="/head.inc.html" -->'."\n\n";
+$append  = "\n".'<!--#include virtual="/foot.inc.html" -->'."\n";
 
 if (!file_put_contents($filename, $prepend . $upload . $append))
        abort('500 save error', "fout bij schrijven van $filename");

diff --git a/footer.html b/foot.inc.html
similarity index 100%
rename from footer.html
rename to foot.inc.html

diff --git a/footer.inc.php b/foot.inc.php
similarity index 100%
rename from footer.inc.php
rename to foot.inc.php