Manual:$wgFixDoubleRedirects
From mediawiki.org
| 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 |
| Other settings: Alphabetical | By function | |
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.