Manual:FixDoubleRedirects.php/fr

Détails
Le fichier fixDoubleRedirects.php est un script de maintenance situé dans le répertoire  qui peut être utilisé pour corriger une ou plusieurs double redirection(s). 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
