diff options
Diffstat (limited to 'show_config_errors.php')
-rw-r--r-- | show_config_errors.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/show_config_errors.php b/show_config_errors.php index 0b295ed031..18dcbabc1b 100644 --- a/show_config_errors.php +++ b/show_config_errors.php @@ -10,7 +10,8 @@ $GLOBALS['now'] = gmdate('D, d M Y H:i:s') . ' GMT'; 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')) { + && stristr($_SERVER['HTTP_USER_AGENT'], 'MSIE') +) { /* FIXME: Why is this special case for IE needed? */ header('Pragma: public'); |