'Image Rotator','appten_documentation' => 'Documentation');
$links = array();
foreach( $tabs as $tab => $name ) {
if( $tab == $current) {
$links[] = "$name";
} else {
$links[] = "$name";
}
}
echo '';
echo "";
foreach( $links as $link ) {
echo $link;
}
echo "
";
}
?>