Add MIME type for PDF files.

diff --git a/imp/config/mime_drivers.php.dist b/imp/config/mime_drivers.php.dist
index 6b9f44e..a6bca3b 100644 (file)
--- a/imp/config/mime_drivers.php.dist
+++ b/imp/config/mime_drivers.php.dist
@@ -142,7 +142,7 @@ $mime_drivers['imp']['enriched'] = array(
 $mime_drivers['imp']['pdf'] = array(
     'inline' => false,
     'handles' => array(
-        'application/pdf', 'image/pdf'
+        'application/pdf', 'application/x-pdf', 'image/pdf'
     ),
     'icons' => array(
         'default' => 'pdf.png'