Use predefined PHP constant for date instead of manually defining format

This commit is contained in:
Michal Čihař 2011-08-04 14:24:15 +02:00
parent aa5156463b
commit e7db079b81

View File

@ -546,7 +546,7 @@ function PMA_sendHeaderLocation($uri)
*/
function PMA_download_header($filename, $mimetype, $avoid_cache = true) {
if ($avoid_cache) {
header('Expires: ' . gmdate('D, d M Y H:i:s') . ' GMT');
header('Expires: ' . date(DATE_RFC1123));
if (PMA_USR_BROWSER_AGENT == 'IE') {
header('Cache-Control: must-revalidate, post-check=0, pre-check=0');
header('Pragma: public');