'; echo ''; foreach($files as $f){ $title = basename($f,".html"); echo ""; echo "/wiki/$title"; echo ""; } echo "";