* Keep generated stylesheets cache-separated for each user

diff --git a/includes/RawPage.php b/includes/RawPage.php
index 2c9b8c5..41d599f 100644 (file)
--- 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);