$wgRSSFetchTimeout