Created on 10/03/2008 08:23 by Anonymous
///
function CheckFileExtension
($file,&
$Extension=
array()) {
{
// ON EXTRAIT L'EXTENSION---> l'extension sera définie même si
votre fichier se nomme myfile.config.inc, retourne inc
// VERIFICATION QUE LE TABLEAU DES EXTENSIONS AUTORISEES EST SOUMIS
{
// Si aucun tableau fourni, ou si le tableau fourni est vide
return false;
}
{
// Tout va bien on continue
//return true;
}
else{
// Tout autre cas on false
return false;
}
}else {
// fichier inexistant, on false
return false;
}
}
// UTILISATION
$myfile = "options.php";
$AllowedExtensions =
array("php",
"jpg",
"txt");
$testFile = CheckFileExtension($myfile,$AllowedExtensions);
if($testFile == true)
{
echo "L'extention ".$testFile." est prise en charge";
}else{
echo "Désolé le type de fichier n'est pas prise en charge";
}