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

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