Codice PHP:
<dl id="menu">
<?php
$menu = array(array('titolo' => 'titolo1',
'link1' => 'link1.php',
'link2' => 'link2.php',
'link3' => 'link3.php'),
array('titolo' => 'titolo2',
'link4' => 'link4.php',
'link5' => 'link5.php',
'link6' => 'link6.php',),
);
for($i = 0; $i < count($menu); $i++)
{
foreach($menu[$i] as $text => $link)
{
if($text == 'titolo') echo "<dt>".$trad[$link]."</dt>\n";
else
{
$pag_attuale = basename($_SERVER['SCRIPT_NAME']);
if ($pag_attuale == $link)
echo "<dd><div class='nolink'>".$trad[$text]."</div></dd>\n";
else
echo "<dd>[url='".$link."']".$trad[$text]." [/url]</dd>\n";
}
}
}
?>
</dl>