From 51c8ba8dad3af92c2d3e8f874e61fcc0b8bf5b85 Mon Sep 17 00:00:00 2001 From: Brion Vibber Date: Fri, 24 Dec 2004 01:50:01 +0000 Subject: [PATCH] * Keep generated stylesheets cache-separated for each user --- includes/RawPage.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/includes/RawPage.php b/includes/RawPage.php index 2c9b8c5de1..41d599f805 100644 --- a/includes/RawPage.php +++ b/includes/RawPage.php @@ -75,6 +75,8 @@ class RawPage { header( "Content-type: ".$this->mContentType.'; charset='.$this->mCharset ); # allow the client to cache this for 24 hours header( 'Cache-Control: s-maxage='.$this->mSmaxage.', max-age='.$this->mMaxage ); + # Make sure each logged-in user gets his/her own stylesheet + header( 'Vary: Cookie' ); if($this->mGen) { $sk = $wgUser->getSkin(); $sk->initPage($wgOut); -- 2.20.1