dipende dal diverso browser utilizzato: il controllo sul tipo di file uppato è un pò problematico in generale.

per risolvere in maniera semplicistica verificare l'estensione del file con una funzione (in realtà si tratta di fare un controllo su una stringa...) senza ricorrere ad $_FILES["user_file"]["type"] che dà risultati diversi s vari browser.