From d997be54829573de34babf6200b03715f08a56dc Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Fri, 22 Feb 2008 07:42:07 +0000
Subject: [PATCH] fixed XVO header

---
 includes/OutputPage.php | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index 3f46be8212..1fe36a5f75 100644
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -582,7 +582,13 @@ class OutputPage {
 		global $wgCookiePrefix;
 		$cvCookies = $this->getCacheVaryCookies();
 		$xvo = 'X-Vary-Options: Accept-Encoding;list-contains=gzip,Cookie;';
+		$first = true;
 		foreach ( $cvCookies as $cookieName ) {
+			if ( $first ) {
+				$first = false;
+			} else {
+				$xvo .= ';';
+			}
 			$xvo .= 'string-contains=' . $cookieName;
 		}
 		return $xvo;
-- 
2.20.1