Manual:$wgFixDoubleRedirects/de-formal

From Linux Web Expert

Revision as of 16:21, 6 December 2023 by imported>FuzzyBot (Updating to match new version of source page)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

<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

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.