Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStephan Wahlbrink2019-07-20 11:33:21 -0400
committerStephan Wahlbrink2019-07-20 11:33:21 -0400
commit20976e17e0fa5ed79164f1ebc8fc9f0161a43f9c (patch)
tree14fbf241c1c479bd2d33414e0e534d09b97a4eff
parent711aa327a78d2fe86818280a1d5b6ec3e085ab21 (diff)
downloadstatet-20976e17e0fa5ed79164f1ebc8fc9f0161a43f9c.tar.gz
statet-20976e17e0fa5ed79164f1ebc8fc9f0161a43f9c.tar.xz
statet-20976e17e0fa5ed79164f1ebc8fc9f0161a43f9c.zip
Add 'Downloads' page for StatET 4.0
-rw-r--r--downloads/4.0.html103
-rw-r--r--downloads/4.0.php10
-rw-r--r--downloads/_download-statet.php69
-rw-r--r--downloads/download.css39
-rw-r--r--news/_noteworthy-statet.php (renamed from news/_noteworthyCommon.php)2
-rw-r--r--news/noteworthy-4.0.php2
6 files changed, 223 insertions, 2 deletions
diff --git a/downloads/4.0.html b/downloads/4.0.html
new file mode 100644
index 0000000..bda8a7b
--- /dev/null
+++ b/downloads/4.0.html
@@ -0,0 +1,103 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+
+<meta name="copyright" content="Copyright (c) Eclipse contributors and others 2018, 2019."/>
+<meta http-equiv="Content-Language" content="en-us"/>
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
+<link rel="STYLESHEET" href="noteworthy.css" type="text/css"/>
+<title>StatET 4.0 - Downloads</title>
+
+</head>
+<body>
+
+<h1>StatET 4.0 - Downloads</h1>
+
+<table class="downloads">
+<colgroup>
+ <col class="title" />
+ <col />
+ <col />
+</colgroup>
+<tbody>
+
+ <tr class="latest">
+ <td id="statet-4.0.x" colspan="3">
+ <div style="float: right">
+ <a href="http://marketplace.eclipse.org/marketplace-client-intro?mpc_install=9295" class="drag" title="Drag to your running Eclipse* workspace. *Requires Eclipse Marketplace Client"><img typeof="foaf:Image" class="img-responsive" src="https://marketplace.eclipse.org/sites/all/themes/solstice/public/images/marketplace/btn-install.png" alt="Drag to your running Eclipse* workspace. *Requires Eclipse Marketplace Client" /></a>
+ </div>
+ <h4>StatET 4.0 <small>(latest-r)</small></h4>
+ <p>Points to latest 4.0.x. release</p>
+ </td>
+ </tr>
+ <tr class="latest">
+ <td class="title">Update Site</td>
+ <td rowspan="1">for <a href="/downloads/packages/release/2018-12/r">Eclipse&nbsp;2018-12</a></td>
+ <td class="content"><code>https://download.eclipse.org/statet/releases/4.0/E201812</code></td>
+ </tr>
+
+ <tr class="section">
+ <td id="statet-4.0.1" colspan="3" style="height: 10px"/>
+ </tr>
+
+ <tr class="section">
+ <td id="statet-4.0.1" colspan="3">
+ <h3>StatET 4.0.1 <small>(201907110900-r)</small></h3>
+ <p>2019-07-11
+ | <a href="https://projects.eclipse.org/projects/science.statet/releases/4.0.1">Release Record</a>
+ | <a href="/downloads/statet/releases/4.0.1">Release Directory</a></p>
+ </td>
+ </tr>
+ <tr>
+ <td class="title">Update Site</td>
+ <td rowspan="2">for <a href="/downloads/packages/release/2018-12/r">Eclipse&nbsp;2018-12</a></td>
+ <td class="content"><code>https://download.eclipse.org/statet/releases/4.0.1/E201812</code></td>
+ </tr>
+ <tr>
+ <td class="title">Archive of Update Site</td>
+ <td class="content"><a href="/downloads/download.php?file=/statet/releases/4.0.1/statet-repository-E201812-incubation-4.0.1-201907110900-r.zip">statet-repository-E201812-incubation-4.0.1-201907110900-r.zip</a></td>
+ </tr>
+ <tr>
+ <td class="title">R-Help Server</td>
+ <td/>
+ <td class="content"><a href="/downloads/download.php?file=/statet/releases/4.0.1/statet-rhelpserver-incubation-4.0.1-201907110900-r.zip">statet-rhelpserver-incubation-4.0.1-201907110900-r.zip</a></td>
+ </tr>
+ <tr>
+ <td class="title">Libraries for Console Servers</td>
+ <td/>
+ <td class="content"><a href="/downloads/download.php?file=/statet/releases/4.0.1/statet-consoleserver-incubation-4.0.1-201907110900-r.tar.gz">statet-consoleserver-incubation-4.0.1-201907110900-r.tar.gz</a></td>
+ </tr>
+
+ <tr class="section">
+ <td id="statet-4.0.0" colspan="3">
+ <h3>StatET 4.0.0 <small>201906060800-r</small></h3>
+ <p>2019-06-06
+ | <a href="https://projects.eclipse.org/projects/science.statet/releases/4.0.0">Release Record</a>
+ | <a href="/downloads/statet/releases/4.0.0">Release Directory</a></p>
+ </td>
+ </tr>
+ <tr>
+ <td class="title">Update Site</td>
+ <td rowspan="2">for <a href="/downloads/packages/release/2018-12/r">Eclipse&nbsp;2018-12</a></td>
+ <td class="content"><code>https://download.eclipse.org/statet/releases/4.0.0/E201812</code></td>
+ </tr>
+ <tr>
+ <td class="title">Archive of Update Site</td>
+ <td class="content"><a href="/downloads/download.php?file=/statet/releases/4.0.0/statet-repository-E201812-incubation-4.0.0-201906060800-r.zip">statet-repository-E201812-incubation-4.0.0-201906060800-r.zip</a></td>
+ </tr>
+ <tr>
+ <td class="title">R-Help Server</td>
+ <td/>
+ <td class="content"><a href="/downloads/download.php?file=/statet/releases/4.0.0/statet-rhelpserver-incubation-4.0.0-201906060800-r.zip">statet-rhelpserver-incubation-4.0.0-201906060800-r.zip</a></td>
+ </tr>
+ <tr>
+ <td class="title">Libraries for Console Servers</td>
+ <td/>
+ <td class="content"><a href="/downloads/download.php?file=/statet/releases/4.0.0/statet-consoleserver-incubation-4.0.0-201906060800-r.tar.gz">statet-consoleserver-incubation-4.0.0-201906060800-r.tar.gz</a></td>
+ </tr>
+
+</tbody>
+</table>
+
+</body>
+</html>
diff --git a/downloads/4.0.php b/downloads/4.0.php
new file mode 100644
index 0000000..b4d62fe
--- /dev/null
+++ b/downloads/4.0.php
@@ -0,0 +1,10 @@
+<?php
+require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/app.class.php");
+require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/nav.class.php");
+require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/menu.class.php");
+$App = new App();
+$Nav = new Nav();
+$Menu = new Menu();
+$keywords = 'eclipse, statet, downloads, statet 4.0';
+
+require("_download-statet.php");
diff --git a/downloads/_download-statet.php b/downloads/_download-statet.php
new file mode 100644
index 0000000..522ad8a
--- /dev/null
+++ b/downloads/_download-statet.php
@@ -0,0 +1,69 @@
+<?php
+function innerHTML($el) {
+ $doc = new DOMDocument();
+ $doc->appendChild($doc->importNode($el, TRUE));
+ $html = trim($doc->saveHTML());
+ $tag = $el->nodeName;
+ $html = preg_replace('@^<' . $tag . '[^>]*>|</' . $tag . '>$@', '', $html);
+ return $html;
+}
+function enhanceDoc($doc) {
+ $docXPath = new DomXPath($doc);
+ $titles = $docXPath->query("//*[contains(@class, 'title')]");
+ foreach ($titles as $title) {
+ $id = $title->parentNode->getAttribute('id');
+ if ($id != '') {
+ $link = $title->firstChild;
+ $link->setAttribute('href', '#' . $id);
+ }
+ }
+}
+
+$statetVersion = basename($App->getScriptName(), '.php');
+
+if(!isset($keywords) OR $keywords == '') {
+ $keywords = "eclipse, statet, news, new and noteworthy";
+}
+if (!isset($theme)) {
+ $theme = "solstice";
+}
+$Theme = $App->getThemeClass($theme);
+$themeVariables = array();
+
+$themeVariables['btn_cfa'] = array(
+ 'hide' => FALSE,
+ 'href' => 'https://projects.eclipse.org/projects/science.statet/',
+ 'text' => '<i class="fa fa-home"></i> StatET'
+);
+
+$Nav->addCustomNav("New and Noteworthy", "/statet/news/noteworthy-4.0.php", "_self", 1);
+
+$file = basename($App->getScriptName(), '.php').'.html';
+
+$doc = new DOMDocument;
+$doc->loadhtmlfile($file);
+enhanceDoc($doc);
+
+$title = $doc->getElementsByTagName('title')->item(0);
+$title = innerHTML($title);
+
+$body = $doc->getElementsByTagName('body')->item(0);
+$body = innerHTML($body);
+$html = $body;
+$html = mb_convert_encoding($html, 'HTML-ENTITIES', 'auto');
+
+# Begin: page-specific settings. Change these.
+$Theme->setThemeVariables($themeVariables);
+$Theme->setPageAuthor("");
+$Theme->setPageKeywords($keywords);
+$Theme->setPageTitle($title);
+$Theme->setHtml($html);
+
+$Theme->setNav($Nav);
+$Theme->setMenu($Menu);
+
+$App->Promotion = FALSE;
+$App->AddExtraHtmlHeader('<link rel="stylesheet" href="download.css" type="text/css">');
+
+
+$Theme->generatePage();
diff --git a/downloads/download.css b/downloads/download.css
new file mode 100644
index 0000000..caff984
--- /dev/null
+++ b/downloads/download.css
@@ -0,0 +1,39 @@
+
+table.downloads {
+ table-layout: auto;
+ border-collapse: collapse;
+ margin-top: 30px;
+}
+
+table.downloads col.title {
+ width: 25%;
+}
+
+table.downloads td {
+ padding: 2px 4px;
+ border: solid thin black;
+ vertical-align: top;
+}
+
+table.downloads tr.latest td {
+ background-color: #fcf8e3;
+ color: #8a6d3b;
+ border-color: #8a6d3b;
+}
+
+table.downloads tr.section td {
+ padding: 0px;
+ border: solid 0 black;
+}
+
+table.downloads h3, table.downloads h4, table.downloads p {
+ margin-bottom: 2px;
+}
+
+table.downloads tr td.title {
+ font-weight: bold;
+}
+
+table.downloads tr td.content {
+ white-space: nowrap;
+}
diff --git a/news/_noteworthyCommon.php b/news/_noteworthy-statet.php
index 9df2db6..e650aa0 100644
--- a/news/_noteworthyCommon.php
+++ b/news/_noteworthy-statet.php
@@ -30,7 +30,7 @@ $themeVariables = array();
$themeVariables['btn_cfa'] = array(
'hide' => FALSE,
- 'href' => 'https://projects.eclipse.org/projects/science.statet/downloads',
+ 'href' => '/statet/downloads/4.0.php',
'text' => '<i class="fa fa-download"></i> Download StatET'
);
diff --git a/news/noteworthy-4.0.php b/news/noteworthy-4.0.php
index f42a38b..9f85f40 100644
--- a/news/noteworthy-4.0.php
+++ b/news/noteworthy-4.0.php
@@ -6,4 +6,4 @@ $App = new App();
$Nav = new Nav();
$Menu = new Menu();
$keywords = 'eclipse, statet, news, new and noteworthy, statet 4.0';
-require("_noteworthyCommon.php");
+require("_noteworthy-statet.php");

Back to the top