Index: trunk/phase3/includes/Article.php |
— | — | @@ -3427,7 +3427,8 @@ |
3428 | 3428 | */ |
3429 | 3429 | public function isFileCacheable() { |
3430 | 3430 | $cacheable = false; |
3431 | | - if( HTMLFileCache::useFileCache() ) { |
| 3431 | + global $wgUseFileCache; |
| 3432 | + if( $wgUseFileCache and HTMLFileCache::useFileCache() ) { |
3432 | 3433 | $cacheable = $this->getID() && !$this->mRedirectedFrom; |
3433 | 3434 | // Extension may have reason to disable file caching on some pages. |
3434 | 3435 | if( $cacheable ) { |
Index: trunk/phase3/includes/RawPage.php |
— | — | @@ -135,7 +135,8 @@ |
136 | 136 | $mode = $this->mPrivateCache ? 'private' : 'public'; |
137 | 137 | header( 'Cache-Control: '.$mode.', s-maxage='.$this->mSmaxage.', max-age='.$this->mMaxage ); |
138 | 138 | |
139 | | - if( HTMLFileCache::useFileCache() ) { |
| 139 | + global $wgUseFileCache; |
| 140 | + if( $wgUseFileCache and HTMLFileCache::useFileCache() ) { |
140 | 141 | $cache = new HTMLFileCache( $this->mTitle, 'raw' ); |
141 | 142 | if( $cache->isFileCacheGood( /* Assume up to date */ ) ) { |
142 | 143 | $cache->loadFromFileCache(); |