promotions/promotion.php - www.eclipse.org/home - Git at Google

 <?php
 if ($theme == "Nova" || $theme == "bootnova") {
   require_once 'logovoting/promotion-newlogo.php';
 }
 ?>
	<?php
	if ($theme == "Nova" \|\| $theme == "bootnova") {
	require_once 'logovoting/promotion-newlogo.php';
	}
	?>