From 8770f7420e513e163ab86471efe052c639da2ff6 Mon Sep 17 00:00:00 2001
From: Tom Gilder <tomgilder@users.mediawiki.org>
Date: Thu, 20 Jan 2005 12:15:48 +0000
Subject: [PATCH] Enabled caching for IE5.0, it would appear to be absolutely
 fine.

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

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index 60ce7dd22f..8cd46c4327 100644
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -91,12 +91,6 @@ class OutputPage {
 			wfDebug( "CACHE DISABLED\n", false );
 			return;
 		}
-		if( isset( $_SERVER["HTTP_USER_AGENT"] ) &&
-		    preg_match( '/MSIE ([1-4]|5\.0)/', $_SERVER["HTTP_USER_AGENT"] ) ) {
-			# IE 5.0 has probs with our caching
-			wfDebug( "-- bad client, not caching\n", false );
-			return;
-		}
 		if( $wgUser->getOption( 'nocache' ) ) {
 			wfDebug( "USER DISABLED CACHE\n", false );
 			return;
-- 
2.20.1