Scusate avendo un array in cui ho specificato il tipo di file che posso usare per UPLOAD su server vorrei sapere qual'è l'estensione esatta per i file ".pdf".
Il mio Array:
Codice PHP:
$tipi_permessi=array( //ARRAY PER ALCUNI TIPI DI FILE
"text/plain",
"text/html",
"image/jpeg",
"image/gif",
"image/png",
"application/x-zip-compressed",
"application/x-msdos-program"
);