Correcteur de redirection
Inscrit depuis le 30 juillet 2008
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.