La funzione PHP " pathinfo " restituisce tutti i componenti separati di posizione di un file tra cui il nome della directory , nome di base , estensione del file e il nome del file . Per rimuovere un'estensione di file con PHP , chiamare la funzione built-in e rinominare il file originale in un nuovo nome di file che ha lo stesso nome di directory e file, ma non ha un estensione di PHP "Rinomina" . Istruzioni
1
memorizzare il nome del file in una variabile . Ad esempio, digitare : ?
< Php
$ file = " /usr /local /myfile.dat " ;
2
chiamano " pathinfo " funzione per ottenere le diverse componenti della posizione del file . Ad esempio, digitare :
$ pathinfo = pathfinfo ( $ file ) ;
3
creare un nuovo nome di file concatenando l'elemento pathinfo " dirname " (percorso ) , una barra per separare il percorso e il nome del file , e l'elemento pathinfo "filename" , che non conterrà l'estensione . Ad esempio, digitare :
$ nuovofile = $ pathinfo [ " dirname " ] . " /" . $ pathinfo [ " nomefile" ] ;
4
Chiamare la funzione PHP Rename per rinominare il file per il nuovo nome del file che avete appena creato . Emettere un messaggio di stato adeguato in base ai risultati . Ad esempio, digitare : ( ! Rename ( $ file , $ nuovofile ) ) per
se die ( . " Impossibile rinominare il file in" $ nuovofile ) ;
echo " Rimosso estensione da" . $ file ; ?
>