Utilisateur:Correcteur de redirection
Définition, traduction, prononciation, anagramme et synonyme sur le dictionnaire libre Wiktionnaire.
Correcteur de redirection est un compte spécial, utilisé par le logiciel MédiaWiki pour corriger automatiquement les doubles redirections.
- Informations techniques (anglais) : (Wikitech-l) Double redirect fixer.
- Cette fonction a été désactivée, cf bug 15622.
Correcteur de redirection a un copain : MediaWiki default.