No sé mucho de PHP, pero puede que te sirva :P
Código:
echo '<div class="gk_tabmods_container" style="'.$style.'">';
if($tabsPosition == "down"){
echo '<ul class="gk_tabmodsmenu_down">';
for($i = 0;$i<count($titles);$i++){echo '<li class="lista'.$i.'">'.$titles[$i].'</li>';}
echo '</ul>';
}
Las clases comenzarán llamándose "lista0", "lista1", etcétera; aunque parece que te convendría más usar ID's
Saludos.