$_FILES['userfile']['type'] contiene il tipo di file caricato, puoi usarlo per verificare che sia PDF o TXT