<?php
	if ($theme == "Nova" || $theme == "bootnova") {
		$prefix = 'http';
		if (isset($App)) {
			$prefix = $App->getHTTPPrefix();
		}
?>
	<a href="<?php print $prefix;?>://www.eclipse.org/">
		<img src="/eclipse.org-common/themes/Nova/images/eclipse.png" alt="Eclipse.org"/>
	</a>

<?php
	}
?>