Di recente ho avuto l’esigenza di dover estrarre e isolare l’estensione dei file. Vediamo come trovare l’estensione grazie all’uso di PHP.
Ho scoperto una funzione interessante di php pathinfo()
Di fatto, agisce su un path e ne estrapola diverse informazioni. Per estrarre ad esempio l’estensione di un file di questo tipo:
http://www.targetweb.it/test.jpg
Vi basterĂ usare il seguente codice:
$ext = pathinfo($filename, PATHINFO_EXTENSION); echo $ext; // Stampa l'estensione file (in questo esempio jpg)
A questo indirizzo troverete un comodo approfondimento. Spero che questa breve “pillola php” vi sia utile đŸ˜‰
