Manuel:$wgFixDoubleRedirects
Titres de page et redirections: $wgFixDoubleRedirects | |
---|---|
Corriger les doubles redirections après un déplacement de page. |
|
Introduit dans la version : | 1.14.0 (r41716) |
Retiré dans la version : | Encore utilisé |
Valeurs autorisées : | (booléen) |
Valeur par défaut : | false |
Autres paramètres : Alphabétique | Par fonction |
Détails
Corriger les doubles redirections après un déplacement de page. Les modifications sont faites par le compte listé dans MediaWiki:double-redirect-fixer (Redirect fixer par défaut).
Cela a tendance à entrer en conflit avec le vandalisme de renommage des pages, ne l’utilisez que sur un wiki privé ou sur un wiki où les renommages des pages sont restreints à un groupe utilisateur de confiance.