[script] Création de vignette jpeg ou png

[julienr]

j'ai une option custom icon sur mon binder

je viens de me rendre qu'il y avait une partie non negligeable d'utilisateurs qui n'ont rien compris et envoient un exe

donc ==> echec de compilation

salut, si c'est quelque chose d'uploadé dans la variable $_FILES tu as le content type renvoyer par le navigateur, en recherchant image par exemple tu peux déjouer les farfelues...

$_FILES['userfile']['type']

Le type MIME du fichier, si le navigateur a fourni cette information. Par exemple, cela pourra être "image/gif". Ce type mime n'est cependant pas vérifié du côté de PHP et, donc, ne prend pas sa valeur pour se synchroniser.