certo. io ti ocreato una situazione statica.

se intendi verificare che estensione ha utilizzato l' utente puoi fare così

Codice PHP:
$nome="file.ext";
$blocks=explode(".",$nome);
$userfile_ext=$blocks[count($blocks-1)]; // restituisce ext

$new_file=basename($nome,$userfile_ext).".pdf"; 
se però cambiando l' estensione del file da doc a pdf, pensi che il documento sia già reso disponibile per AdobeReader, ti sbagli di grosso... l' estensione identifica il programma, che a sua volta si aspetta dei dati corretti da interpretare...

ma questa è un' altra storia