Translations:Manual:$wgFixDoubleRedirects/4/en

Fix double redirects after a page move.