Jump to content

Manual:DoubleRedirectJob.php

From mediawiki.org

Details

[edit]

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