Estensione file senza saperla ???

[MikiProgrammer]

Buongiorno,
nella cartella www.chatternetwork.it/users/miki/ ho una foto che può avere estensione jpg, jpeg, png, gif.
So che si chiama foto_profilo, ed è l'unica immagine della cartella.
Come faccio ad ottenere l'estensione?

 

[n1k4r0]

be' se il dominio è tuo o ci stai lavorando dentro suppongo che avrai un accesso ftp quindi basterebbe guardarci dentro.

se invece hai bisogno di sapere l'estensione del file per utilizzarla in uno script php allora basta farsi dare la lista dei file nella cartella con scandir

$dir = "percorso_della_cartella";
$files = scandir($dir);
// a questo punto $file è un array che contiene tutto il contenuto della cartella

// per avere il file e di conseguenza l'estensione
// ma funziona soltanto se nella cartella c'è un solo file
foreach ( $files as $file ) {
    if ( ! preg_match("/^\./", $file) ) {
        $immagine = $file;
    }
}
// a questo punto dentro $immagine c'è il nome dell'immagine completo di estensione

// se vuoi soltanto l'estensione
$parti = explode('.', $immagine);
$ext = $parti[count($parti) - 1];
// a questo punto dentro $ext c'è l'estensione del file

 

[MikiProgrammer]

Gracias!