Mit PHP eine Datei-Endung entfernen
Die PHP-Funktion "Pathinfo" liefert alle getrennten Komponenten von einem Dateispeicherort einschließlich Verzeichnisname, Basisname, Dateierweiterung und Dateinamen. Zum Entfernen einer Dateierweiterung mit PHP rufen Sie auf, die integrierte PHP-Funktion "umbenennen", und benennen Sie die ursprüngliche Datei in einen neuen Dateinamen ein, der den gleichen Verzeichnis und Dateinamen, aber keine Dateierweiterung hat.
Anweisungen
1 Speichern Sie der Name der Datei in einer Variablen. Geben Sie beispielsweise:
<? Php
$file = "/ usr/local/myfile.dat";
2 Rufen Sie die Funktion "Pathinfo", um die verschiedenen Komponenten der Speicherort der Datei zu erhalten. Geben Sie beispielsweise:
$pathinfo = pathfinfo($file);
3 Erstellen Sie einen neuen Dateinamen ein, durch die Verkettung der Pathinfo "Dirname" Element (Pfad), einem Schrägstrich, den Pfad und Dateinamen zu trennen und der Pathinfo "Dateiname"-Element, das nicht die Erweiterung enthalten wird. Geben Sie beispielsweise:
$newfile = $pathinfo ["Dirname"]. "/" . $pathinfo ["Filename"];
4 Rufen Sie die PHP umbenennen-Funktion, um die Datei an den neuen Dateinamen umbenennen, die Sie gerade erstellt. Geben Sie eine entsprechende Statusmeldung auf Basis der Ergebnisse aus. Geben Sie beispielsweise:
Wenn (! umbenennen ($file, $newfile)) sterben ("konnte nicht Datei umbenennen". $newfile);
Echo "Entfernt-Erweiterung von". $file;
? >