'; if(file_extension($file)=='gz'||file_extension($file)=='zip')$thelist .= ''; $thelist .= $file; if(file_extension($file)=='gz'||file_extension($file)=='zip')$thelist .= ''; $thelist .= ''; } } closedir($handle); } echo "

List of files:

"; ?>