<?php
require "property-manager.php"; // Initialise properties
require "file_information.php";
$properties = load_properties();
header("Content Type: text/html");
?>
<html><head><title><?php echo($properties["html title"]);?></title>
</head>
</html>
