From b15a98c300f67d90dc04b802c92094cec57cbd41 Mon Sep 17 00:00:00 2001
From: Zheng Zhu <zhengzhu@users.mediawiki.org>
Date: Mon, 18 Oct 2004 18:13:39 +0000
Subject: [PATCH] fixes Bug 718: Bad charset in cached pages.

---
 includes/CacheManager.php | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/includes/CacheManager.php b/includes/CacheManager.php
index ab6c66d5e4..e611737d5c 100644
--- a/includes/CacheManager.php
+++ b/includes/CacheManager.php
@@ -92,11 +92,14 @@ class CacheManager {
 	
 	/* Working directory to/from output */
 	function loadFromFileCache() {
-		global $wgOut;
+		global $wgOut, $wgMimeType, $wgOutputEncoding, $wgContLanguageCode;
 		wfDebug(" loadFromFileCache()\n");
 		
 		$filename=$this->fileCacheName();
 		$wgOut->sendCacheControl();
+
+		header( "Content-type: $wgMimeType; charset={$wgOutputEncoding}" );
+		header( "Content-language: $wgContLanguageCode" );
 		
 		if( $this->useGzip() ) {
 			if( wfClientAcceptsGzip() ) {
-- 
2.20.1