Fix export of SQL for Safari (bug #1113015).

ChangeLog

@@ -5,6 +5,9 @@ phpMyAdmin - Changelog
 $Id$
 $Source$
 
+2005-02-08 Michal Čihař  <michal@cihar.com>
+    * export.php: Fix export of SQL for Safari (bug #1113015).
+
 2005-02-07 Marc Delisle  <lem9@users.sourceforge.net>
     * libraries/dbi/*: bug #1116933, PMA_DBI_free_result():
       do not send a boolean to mysqli_free_result() or mysql_free_result(),

export.php

@@ -230,7 +230,12 @@ if ($asfile) {
         $mime_type = 'application/x-tex';
     } else {
         $filename  .= '.sql';
-        $mime_type = 'text/x-sql';
+        // text/x-sql is correct MIME type, however safari ignores further
+        // Content-Disposition header, so we must force it to download it this
+        // way...
+        $mime_type = PMA_USR_BROWSER_AGENT == 'SAFARI'
+                        ? 'application/octet-stream'
+                        : 'text/x-sql';
     }
 
     // If dump is going to be compressed, set correct encoding or mime_type and add