| <?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 | |
| } | |
| ?> |