diff --git a/export.php b/export.php index 51bdeca60..1da5c972e 100644 --- a/export.php +++ b/export.php @@ -364,9 +364,8 @@ if (!$save_on_server) { header('Pragma: no-cache'); // test case: exporting a database into a .gz file with Safari // would produce files not having the current time - if ('SAFARI' == PMA_USR_BROWSER_AGENT) { - header('Last-Modified: ' . gmdate('D, d M Y H:i:s') . ' GMT'); - } + // (added this header for Safari but should not harm other browsers) + header('Last-Modified: ' . gmdate('D, d M Y H:i:s') . ' GMT'); } } else { // HTML