MediaWiki:Configure-setting-wgFixDoubleRedirects/en

Fix double redirects after a page move