Manual:DoubleRedirectJob.php/es

Detalles
DoubleRedirectJob.php job consists in fixing double redirects after moving a page.