¿Por que no haces que el mismo PHP te los diga? Antes del if haz un:
Código PHP:
echo $tipo_archivo;
Y sube un doc y un txt. Asi veras el MIME de esos dos tipos de ficheros.
Saludos.
PD: ¿El MIME lo mandaba el navegador? Porque si es asi lo veo como un posible agujero de seguridad.