dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
0a9f0e2
)
Enabled caching for IE5.0, it would appear to be absolutely fine.
author
Tom Gilder
<tomgilder@users.mediawiki.org>
Thu, 20 Jan 2005 12:15:48 +0000
(12:15 +0000)
committer
Tom Gilder
<tomgilder@users.mediawiki.org>
Thu, 20 Jan 2005 12:15:48 +0000
(12:15 +0000)
includes/OutputPage.php
patch
|
blob
|
history
diff --git
a/includes/OutputPage.php
b/includes/OutputPage.php
index
60ce7dd
..
8cd46c4
100644
(file)
--- 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;