wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-11-28 01:20:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

minor stylize

Browse source
This commit is contained in:
Mark A. Hershberger 2010-11-01 21:03:22 +00:00
parent 153cd40ef1
commit fd95eaf9cf
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
RSS.php
View file

@ -227,12 +227,12 @@ class RSS {
function storeInCache( $key ) { function storeInCache( $key ) {
global $wgMemc, $wgRSSCacheAge; global $wgMemc, $wgRSSCacheAge;
if( !isset( $this->rss ) ) { if ( !isset( $this->rss ) ) {
return false; return false;
} }
$wgMemc->set($key, $wgMemc->set( $key,
serialize( array($this->etag, $this->lastModified, $this->rss) ), serialize( array( $this->etag, $this->lastModified, $this->rss ) ),
$wgRSSCacheAge); $wgRSSCacheAge );
wfDebugLog( 'RSS', "Stored '$key' in cache" ); wfDebugLog( 'RSS', "Stored '$key' in cache" );
return true; return true;