wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-11-24 15:54:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

increased wgRSSFetchTimeout default from 5 to 15 seconds - many sites are too slow.

Browse source
This commit is contained in:
Thomas Gries 2012-02-23 22:24:00 +00:00
parent 01c12d4927
commit e7e7b70a73
Notes: Thomas Gries 2012-02-23 22:24:00 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/112251
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
RSS.php
View file

@ -52,7 +52,7 @@ $wgRSSCacheAge = 3600;
$wgRSSCacheCompare = false; $wgRSSCacheCompare = false;
// 5 second timeout // 5 second timeout
$wgRSSFetchTimeout = 5; $wgRSSFetchTimeout = 15;
// Ignore the RSS tag in all but the namespaces listed here. // Ignore the RSS tag in all but the namespaces listed here.
// null (the default) means the <rss> tag can be used anywhere. // null (the default) means the <rss> tag can be used anywhere.

2
RSSHooks.php
View file

@ -34,7 +34,7 @@ class RSSHooks {
switch ( true ) { switch ( true ) {
# disallow because there is no whitelist or emtpy whitelist # disallow because there is no whitelist or empty whitelist
case ( !isset( $wgRSSUrlWhitelist ) case ( !isset( $wgRSSUrlWhitelist )
|| !is_array( $wgRSSUrlWhitelist ) || !is_array( $wgRSSUrlWhitelist )
|| ( count( $wgRSSUrlWhitelist ) === 0 ) ): || ( count( $wgRSSUrlWhitelist ) === 0 ) ):