This repository has been archived on 2023-10-25. You can view files and clone it, but cannot push or open issues or pull requests.
about-brochure/index.php
2018-06-02 02:03:38 +02:00

54 lines
1.4 KiB
PHP

<?PHP
/**
* This file serves the HTML output of the main about page.
*/
error_reporting(E_ALL);
ini_set('display_errors', 1);
// Load required files and ensure environment.
require_once __DIR__ . "/functions.php";
require_once __DIR__ . "/htmlToTeX.php";
ensureEnvironment();
// Find out current language
$availableLangs = scanDirConts(__DIR__ . "/contents"); // Those languages are available, for which there are files
foreach ($availableLangs as $key => $value) {
$availableLangs[$key] = str_replace(".htm", "", $value);
}
if (isset($_GET['lang'])) $lang = $_GET['lang'];
else $lang = lang_getfrombrowser($availableLangs, 'de', null, false);
// Load HTML document to PHP DOMDocument
$content = new DOMDocument();
$content->load(__DIR__ . "/contents/$lang.htm");
// Find out title
$title = $content->getElementsByTagName("h1")[0]->nodeValue;
// Generate PDF if need be.
if (filemtime(__DIR__ . "/tex/$lang/contentsFrontend.tex") < filemtime(__DIR__ . "/contents/$lang.htm")) {
foreach ($content->getElementsByTagName("section") as $c) {
DOMtoTeX($c, "tex/$lang");
}
runPDF("tex/$lang", "brochure", "brochure.pdf", $title, $lang, true);
}
// Print HTML page.
$content = file_get_contents(__DIR__ . "/contents/$lang.htm");
$content = str_replace("\\today", date("Y-m-d", filemtime("contents/$lang.htm")), $content);
echo printHTMLPage("about:" . $title, $content, $lang);
?>