// Cut dirname away
$file = basename($file);
- // Okay, let us print it out
+ // Okay, add it
OUTPUT_HTML("<li><a href=\"{!URL!}/modules.php?module=admin&what=".getWhat()."&access=".urlencode($file)."\">".$file."</a></li>");
} // END - foreach