$wgRSSUserAgent