Manual:$wgFixDoubleRedirects
Appearance
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
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.