vero lol

Codice PHP:
foreach ($pagine as $link)
  {
  
$name=basename($link,'.php');
  
$voce=$name;
if (
basename($link) == basename($_SERVER['HTTP_SELF'])) $name="current";
  echo 
'[*][url="'.$link.'"]'.$voce.'[/url]';
  }