| <?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'); |