Trouver l'extension du fichier téléchargé (PHP)

Question

Duplicata possible : Quelle est la meilleure façon/pratique pour obtenir l'extension d'un fichier téléchargé en PHP

Pouvons-nous trouver l'extension du fichier d'origine à partir du $_FILES["file"]["tmp_name"] ? Par exemple jpg ou png etc? Merci.

Answer 1

$name = $_FILES["file"]["name"];
$ext = end((explode(".", $name))); # extra () to prevent notice

echo $ext;

Answer 2

Vous pouvez utiliser pathinfo() :

 $path_parts = pathinfo($_FILES["file"]["name"]);
$extension = $path_parts['extension'];

Answer 3

Oui, vous pouvez utiliser $_FILES['file']['name'] pour obtenir le nom d'origine du fichier téléchargé. Gardez simplement à l'esprit que l'extension peut ne pas toujours représenter le contenu réel du fichier.

Answer 4

Oui, en supposant que son nom soit exact. Il conservera son nom et son extension d'origine.