Manual:FixDoubleRedirects.php/fr

Détails
fixDoubleRedirects.php file is a maintenance script located in the  directory that can be used to fix double redirects. The edits will be attributed to the user named in the Double-redirect-fixer message (User:Redirect fixer on English wikis by default). Edits made by this script are not shown on Special:RecentChanges, but they do appear in that user's contributions. The edit summary comes from the Double-redirect-fixed-maintenance message.

Ce script a été introduit dans MediaWiki 1.18 (r81408) et est écrit pour cette version. Pour une version qui fonctionne sur des versions plus anciennes de MediaWiki (testée sur la 1.16), voir ici.