Dateiendung Frage

[TorstenJer]

Hallo Leute

Ich habe folgendes Skript...
Ein Bild wir hochgelden und umbenannt, nur ohne Dateiendung.
Also hier wird die Datei in "ich" umbenannt.
Nun möchte ich aber die passende Dateiendung hinzufügen.
Also wenn das hochgeladene Bild ein gif ist
auch die Endung gif ist, und jpg dann jpg ist

$dateityp = GetImageSize($_FILES['datei']['tmp_name']);
$user = "ich[COLOR=orangered].Endung[/COLOR] ";
if($dateityp[2] != 0)
   {

   if($_FILES['datei']['size'] <  102400)
      {




      move_uploaded_file($_FILES['datei']['tmp_name'], "kochbild/$user
[COLOR=orangered].Endung[/COLOR] "); 

      echo "Das Bild wurde Erfolgreich
 nach kochbild/".$_FILES['datei']['name']." hochgeladen";


      }

   else
      {
         echo "Das Bild darf nicht größer als 100 kb sein ";
      }

    }

else
    {
    echo "Bitte nur Bilder im Gif bzw. jpg Format hochladen";
    } 

Danke
Gruss
Torsten

[ExInfernis]

Du könntest dir die Endung aus dem Originalname der Datei holen.

Eine direkte Überprüfung, ob ein Bild gif oder jpeg ist gibt es glaube ich nicht.

[TorstenJer]

Ja das hab ich schon überlegt. Komm da aber nicht weiter. Wie kann ich denn die Dateiendung aus der Orginaldatei holen?

[Arni]

getimagesize()

Es wird ein Array aus 4 Elementen zurück gegeben. Im Array-Index 0 steht die Breite. Index 1 enthält die Höhe, 2 ein Flag je nach Grafik-Typ (1 = GIF, 2 = JPG, 3 = PNG, SWF = 4) und Index 3 die richtige Zeichenkette im Format "height=xxx width=xxx" zur Verwendung im IMG-Tag von HTML.

[ExInfernis]

So ist das dann natürlich noch einfacher.

Ansonsten hättest du aus

$_FILES['userfile']['name']) 

die letzten drei Buchstaben auslesen können.

[Busta]

$endung = strrchr($_FILES['datei']['name'],'.'); 

[Arni]

Original geschrieben von ExInfernis
So ist das dann natürlich noch einfacher.

Ansonsten hättest du aus

$_FILES['userfile']['name']) 

die letzten drei Buchstaben auslesen können.

und was ist wenn es 4 Buchstaben sind
wie z.B JPEG

??

[ExInfernis]

s. Antwort von Busta

[TorstenJer]

Das ist es was ich gesucht hab. Vielen Dank für eure Hilfe.

Jetzt klappt alles wunder bar.

[Arni]

Original geschrieben von TorstenJer
Das ist es was ich gesucht hab. Vielen Dank für eure Hilfe.

Jetzt klappt alles wunder bar.

mit welchem von den Beispielen machst du es denn ??

wenn du es mit

$endung = strrchr($_FILES['datei']['name'],'.'); 

machst ,dann folgendes Beispiel

ich nenne meine TEST.EXE in TEST.JPG und kopiere es auf deinen Server

ist das so gewollt ???