ESTENSIONE .PDF PER UPLOAD

[cli]

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:

$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"
    );