Type du ficher

Commenter

Contenu du snippet

Cette petite fonction toute simple vous determine l'extension (et donc le type) d'un fichier.
Il vous suffira d'entrer l'adresse d'un fichier en tant qu'argument.

Type de fonction :
string file_type($file)
$file est l'adresse du fichier

ATTENTION, ce code ne retoune pas le type MIME mais l'extension du fichier

Source / Exemple : 


<?php

/**


     
  •  Description : Trouve le type d'un fichier

    •  
  •  Auteur      : YannVag

    •  
  •  Begin       : 13/07/06, Jeudi, 17h43

    •  
  •  Merci de laisser le copyright

    •  
  • /


function file_type($file)
{
	$file=basename($file);
	if(eregi(".",$file)
	{
		$file_extension_tab=explode(".",$file);
		$file_extension=$file_extension_tab[count($file_extension_tab)-1];
		$file_extension=strtolower($file_extension);
		return $file_extension;
	}
	else
	{
		return "NULL";
	}
}

?>

Conclusion :


Pour utiliser la fonction, vous faites :
$type=file_type("Mon document.txt");
$type est txt

Cette fonction est sans faille :
- il met en miniscule le type de fichier (fichier.HTML) -> retourne html
- vous pouvez rentrer des adresse tel que dossier/fichier.rtf
- si le fichier a plusieurs "points", la fonction marche toujours
(exemple : fichier.blablabla.txt -> retourne txt et pas blablabla.txt
- si le fichier n'a pas de type, la fonction retourne NULL
- si le fichier est "fichier.NULL" -> retourne null et pas NULL

Pour faire vos tests :

if(file_type($_POST["fichier"]) == "jpg")
{
//
}
else
{
//
}

A voir également

S'inscrire maintenant

Vous n'êtes pas encore membre ?

inscrivez-vous, c'est gratuit et ça prend moins d'une minute !

Les membres obtiennent plus de réponses que les utilisateurs anonymes.

Le fait d'être membre vous permet d'avoir un suivi détaillé de vos demandes et codes sources.

Le fait d'être membre vous permet d'avoir des options supplémentaires.

Du même auteur (yannvag)