Community
Participate
Working Groups
var $WWW_PREFIX = ""; # default is relative
# Additional page-related variables
var $ExtraHtmlHeaders = "";
var $PageRSS = "";
var $PageRSSTitle = "";
var $THEME_LIST = array("", "Phoenix", "Miasma", "Lazarus");
if($pageTitle == "") {
$pageTitle = "eclipse.org page";
}
# page-specific RSS feed
if($this->PageRSS != "") {
if ($this->PageRSSTitle != "") {
$this->PageRSSTitle = "Eclipse RSS Feed";
$this->ExtraHtmlHeaders .= '<link rel="alternate" title="' . $this->PageRSSTitle . '" href="' . $this->PageRSS . '" type="application/rss+xml">';
$extraHtmlHeaders = $this->ExtraHtmlHeaders;
<div id="header-nav">
<ul>
<?php
global $App;
$www_prefix = "";
$pageRSS = "http://www.eclipse.org/home/eclipsenews.rss";
if(isset($App)) {
$www_prefix = $App->getWWWPrefix();
if($App->PageRSS != "") {
$pageRSS = $App->PageRSS;
$firstClass = "class=\"first_one\"";
$nextclass = "";
<input class="button" type="image" onclick="this.submit();" alt="Search" title="Search" src="/eclipse.org-common/themes/Phoenix/images/search_btn.gif" width="54" height="18" />
</form>
<li class="rss_feed"><a href="http://www.eclipse.org/home/eclipsenews.rss" target="_blank"><img src="/eclipse.org-common/themes/Phoenix/images/rss_btn.gif" alt="RSS" height="16" width="16" border="0" class="rss_icon" /></a></li>
<li class="rss_feed"><a href="<?= $pageRSS ?>" target="_blank"><img src="/eclipse.org-common/themes/Phoenix/images/rss_btn.gif" alt="RSS" height="16" width="16" border="0" class="rss_icon" /></a></li>
<li class="text_size"><a class="smallText" title="Small Text" href="#" onclick="setActiveStyleSheet('small');return false;">A</a> <a class="largeText" title="Large Text" href="#" onclick="setActiveStyleSheet('large');return false;">A</a></li>
</ul>
</div>