Manual:$wgFixDoubleRedirects

Page titles and redirects: $wgFixDoubleRedirects
Fix double redirects after a page move.
Introduced in version:1.14.0 (r41716)
Removed in version:Still in use
Allowed values:(boolean)
Default value:false

Details

edit

Fix double redirects after a page move. Edits are made under the account name listed in MediaWiki:double-redirect-fixer (Redirect fixer by default).

Tends to conflict with page move vandalism, use only on a private wiki or a wiki where page moves are restricted to a trusted usergroup.