ciao a tutti,
ho una sistuazione di questo tipo

Codice PHP:
$file = "../public/download/mio.zip"; 
come posso recuperare l'estensione che in questo caso è zip?

grazie mille