Manual:DoubleRedirectJob.php

Details

edit

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