downloads/_download-statet.php

<?php
require('../_theme-def.php');

if(!isset($keywords) OR $keywords == '') {
	$keywords= "eclipse, statet, downloads, statet ${statetVersion}";
}

$themeVariables['btn_cfa'] = array(
	'hide' => FALSE,
	'href' => 'https://projects.eclipse.org/projects/science.statet/',
	'text' => '<i class="fa fa-home"></i> StatET'
);

$Nav->addNavSeparator("StatET ${statetVersion}", "");
$Nav->addCustomNav("New and Noteworthy", "/statet/news/noteworthy-${statetVersion}.php", "_self", 1);
require('../_theme-nav-statet.php');

$file= basename($App->getScriptName(), '.php').'.html';

$doc = new DOMDocument;
$doc->loadhtmlfile($file);

$title = $doc->getElementsByTagName('title')->item(0);
$title = innerHTML($title);

$body = $doc->getElementsByTagName('body')->item(0);
$body = innerHTML($body);

$App->Promotion = FALSE;
$App->AddExtraHtmlHeader('<link rel="stylesheet" href="download.css" type="text/css">');

require('../_theme-page.php');