Fix show_config_errors.php

1 files changed, 14 insertions, 1 deletions

diff --git a/show_config_errors.php b/show_config_errors.php
index ccaf4b586e..0b295ed031 100644
--- a/show_config_errors.php
+++ b/show_config_errors.php
@@ -7,7 +7,20 @@
  */
 
 $GLOBALS['now'] = gmdate('D, d M Y H:i:s') . ' GMT';
-PMA_no_cache_header();
+header('Expires: ' . date(DATE_RFC1123)); // rfc2616 - Section 14.21
+header('Cache-Control: no-store, no-cache, must-revalidate, pre-check=0, post-check=0, max-age=0'); // HTTP/1.1
+if (isset($_SERVER['HTTP_USER_AGENT'])
+    && stristr($_SERVER['HTTP_USER_AGENT'], 'MSIE')) {
+
+    /* FIXME: Why is this special case for IE needed? */
+    header('Pragma: public');
+} else {
+    header('Pragma: no-cache'); // HTTP/1.0
+    // test case: exporting a database into a .gz file with Safari
+    // would produce files not having the current time
+    // (added this header for Safari but should not harm other browsers)
+    header('Last-Modified: ' . date(DATE_RFC1123));
+}
 header('Content-Type: text/html; charset=utf-8');
 
 require 'libraries/vendor_config.php';