par
@rthur » 02 juin 2016, 15:26
Bonjour,
Pour parcourir la liste des fichiers d'un répertoire, tu peux utiliser la fonction glob() qui est très pratique.
Et pour retirer l'extension, si tu es sûr que tous tes fichiers sont des .pdf, alors c'est très simple avec la fonction basename().
Voila ce que donnerait ton code en 3 lignes :
<?php
foreach (glob("docs/cpt-rendus/*.pdf") as $fichier) {
echo '<img src="img/pdf.png" border="0" height="22" width="22" alt="Pdf"><a class="all" href="'.$fichier.'"> ~ '.basename($fichier, ".pdf").'</a><br><br>';
}
##edit : Ah bah j'arrive après la bataille
