$wgRSSDateDefaultFormat