Manual:DoubleRedirectJob.php/fr

Détails
DoubleRedirectJob.php job consists in fixing double redirects after moving a page.