Manual:$wgFixDoubleRedirects/de-formal

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

<translate> Page titles and redirects</translate>: $wgFixDoubleRedirects
Fix double redirects after a page move.
<translate> Introduced in version:</translate>	1.14.0 (r41716)
<translate> Removed in version:</translate>	<translate> still in use</translate>
<translate> Allowed values:</translate>	(boolean)
<translate> Default value:</translate>	`false`
<translate> Other settings:</translate> <translate> Alphabetical</translate> \| <translate> By function</translate>

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.