Per l’elaborazione dei file da script molto spesso, se non addirittura quasi sempre, risulta utile separare l’estensione del file dal nome. Questo può servire ad esempio per criptare il nome del file, aggiungere prefissi/suffissi al nome del file o ancora per verificare l’estensione inserita di un file caricato dall’utente.
Il codice php per separare basename ed estensione da un filename è il seguente:
// gestione dei filename
$filename = 'image.jpg';
$basefilename = preg_replace("/(.*)\.([^.]+)$/","\\1", $filename);
$ext = preg_replace("/.*\.([^.]+)$/","\\1", $filename);
echo $basefilename . '-' . $ext;
L’esempio sopra produrrà in output
image - jpg
