$wgFixDoubleRedirects