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