Je voudrai savoir s'il existe un truc pour connaître l'extension d'un fichier ?
Je gère un site qui fait de la pub pour des courses à pied. Chaque organisateur envoie ses photos pour que je puisse les uploader dans un dossier ... mon site affiche les photos mais voilà sous quel format les organisateurs me l'on envoyé ?
Pour l'heure, j'utilise ceci:
<?php
$path = realpath('.') . '/components/com_classement/course/';
$photo = 'b_'. $epreuve->lastname . '.jpg';
if (!file_exists($path . $photo)) {
$photo = 'banniere.jpg';
}
echo '<img src="/components/com_classement/course/' . $photo . '" width="100%" height="150" title="' . htmlentities($epreuve->epreuve)
. '">';
?>Comme on peut le remarquer, je mets l'extension .jpg mais j'ai plein d'autres images dans des formats .gif, .png, ... et je n'ai pas envie de perturber les organisateurs avec des futilités qu'il est peut-être possible de régler avec un script ... non, je n'ai pas envie non plus de tout rééditer
D'avance merci