1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
| $name1 = basename($_FILES['avatar']['name']);
//On formate le nom du fichier
$name = strtr($name,
'ÀÁÂÃÄÅÇÈÉÊËÌÍÎÏÒÓÔÕÖÙÚÛÜÝàáâãäåçèéêëìíîïðòóôõöùúûüýÿ',
'AAAAAACEEEEIIIIOOOOOUUUUYaaaaaaceeeeiiiioooooouuuuyy');
$name = preg_replace('/([^.a-z0-9]+)/i', '-', $name);
define ("FILEREPOSITORY","./dossier/");
$extension = substr($_FILES['class[]']['name'], strrpos($_FILES['class[]']['name'], '.') + 1);
if (is_uploaded_file($_FILES['class[]']['tmp_name'])) {
$typeMime = array("application/pdf");
if ( ! in_array($_FILES['class[]']['type'], $typeMime))
{
$erreur="Le document n'est pas au format pdf.";
} |
Partager