Come tagliare un estensione del file in PHP

Quando si lavora con i file in PHP , è spesso necessario conoscere l'estensione dei file ", doc . " O "pdf . ", Per esempio , al fine di determinare come elaborare il contenuto del file . È possibile effettuare questa determinazione , utilizzando le funzioni di gestione del testo incorporati di PHP per dividere il nome completo del file nel nome e l'estensione del file . L'estensione di un file è sempre preceduto da un punto, in modo da poter utilizzare questo per dividere il nome del file nella posizione corretta . Istruzioni
1

Creare una variabile per contenere il nome di un file di esempio aggiungendo il seguente codice nella tua pagina PHP :

$ filename = " miofile.txt " ;

2

usare il PHP explode () per dividere il nome del file , usando il punto come separatore , che dice a PHP dove dividere il testo :

$ parti = explode ( , $ " . " filename) ;
3

l'ultima voce in $ parti array conterrà l'estensione del file , ed è possibile recuperarla utilizzando la fine PHP ( ) funzione :

$ estensione = end ( $ parti ) ;
4

Stampa l'estensione del file sullo schermo :

echo $ estensione;

per il nome del file di esempio nella variabile $ nomefile , questa mostrerà " txt" quando la pagina viene visualizzata in un browser web .
5

è possibile recuperare la parte del nome del nome del file rimuovendo l'estensione del file dalla stringa utilizzando il funzione PHP str_replace () per sostituire l'estensione con una stringa vuota ( " " ) :

$ name = str_replace ("." . $ estensione , " " , $ nomefile ) ;

Note che si aggiunge un punto prima della proroga nella funzione di rimuovere il punto precedente, nonché l'estensione del file str_replace ( ) . $ name conterrà ora il nome del file , senza l'estensione , ad esempio , " miofile "