Hola , pues mira haz este cambio:
Código php:
Ver original$files = obtenerlen("./");
echo "<br><form><select name=\"lenguaje\" class=\"form\">\n";
foreach ($files as $file){
echo "<option value=\"".$file['0']."\">.$file['0']."</option>\n";
}
echo "</select></form>\n"
Saludos!