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.

Utilisation
