$ file = " /usr /local /myfile.dat " ; kopen van 2
Roep de " pathinfo " functie om de verschillende componenten van locatie van het bestand te krijgen. Typ bijvoorbeeld :
$ pathinfo
= pathfinfo ( $ file ) ;
3
Maak een nieuwe bestandsnaam uit de aaneenschakeling van de pathinfo " dirname " element ( weg ) , een slash aan het pad en de bestandsnaam en de pathinfo " bestandsnaam " element, dat niet de uitbreiding zal bevatten scheiden . Typ bijvoorbeeld :
$ nieuwbestand = $ pathinfo
[ " dirname " ] . " /" . $ pathinfo [ " bestandsnaam " ] ;
4
Bel de PHP rename functie om het bestand te hernoemen naar de nieuwe bestandsnaam die u zojuist hebt gemaakt . Geven een passende statusbericht op basis van de resultaten . Typ bijvoorbeeld : ( ! Rename ( $ file , $ nieuwbestand ) ) op Twitter
als de dobbelsteen ( . " Kon bestand niet hernoemen naar " $ nieuwbestand ) ;
echo
" Verwijderd extensie van " . $ file ; ?
>
