We should probably add "pdf" to the list of recognized extensions in src/app/FileExtensionMapper.js and "application/pdf" to the list of recognized mime types in src/app/MimeTypeMapper.js.
We should probably add "pdf" to the list of recognized extensions in src/app/ FileExtensionMa pper.js and "application/pdf" to the list of recognized mime types in src/app/ MimeTypeMapper. js.