Endung einer Datei herausfinden. Wie?

[stellenureinefrage]

Hallo,

Will beim uploaden datei namen verändern. hab bisher so gemacht. (geht nur mit gif)

einfach beim uploaden
$endung = str_replace("image/", "", $type);
copy("$tempname", "neuername.".$endung."");

dies geht aber bei jpg und der gleichen nicht.
Nun meine Frage wie kann ich die Endung einer Datei heruasfinden?

SG

 

[Chino]

Original geschrieben von stellenureinefrage
Nun meine Frage wie kann ich die Endung einer Datei heruasfinden?

$file = "mein_bild.jpg";
echo strrchr($file, ".");

Ausgabe:

.jpg

 

[Gumbo]

Leider kommt man damit bei Dateien mit .tar.gz nicht weiter.

 

[SilentWarrior]

$dateiname = "file.tar.gz";
$array = explode(".",$dateiname);
echo $array[0]; // Ausgabe: file
echo $array[1]; // Ausgabe: tar
echo $array[2]; // Ausgabe: gz

 

[Sven Petruschke]

Original geschrieben von Gumbo
Leider kommt man damit bei Dateien mit .tar.gz nicht weiter.

Der Dateityp ist trotzdem "gz" (zip-Datei)!

 

[stellenureinefrage]

Vielen Dank!i!

Vielen Dank

Zum Glück habe ich dieses Problem nicht, da ich es nur für BilddateiEndungen (gif, jpeg, jpg) brauche..

sg

 

[JohannesR]

<?php
$datei = "file.tar.gz";
$pieces = explode(".", $datei);
echo $pieces[count($pieces) - 1]; // Ausgabe: gz
?>

 

[_voodoo]

Jetzt mag ich noch meine Idee anbringen

$datei = "ich.bin.ein.bild.mit.punkten.jpg";
$str = explode(".", $datei);
$str = array_reverse($str);
echo $str['0'];

 

[Gumbo]

Dann hab ich auch noch eine Lösung:

<?php
  $path = "bla.jpg";
  $pathinfo = pathinfo($path);
  echo($pathinfo['extension']);
?>

 ›› PHP: pathinfo - Manual