|fichier de MediaWiki : fixDoubleRedirects.php|
|Code source :||master • 1.32.0 • 1.31.1|
fixDoubleRedirects.php file is a maintenance script located in the maintenance 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 contribs. The edit summary comes from the Double-redirect-fixed-maintenance message.
|--async||Don't fix anything directly, just queue the jobs|
|--dry-run||Perform a dry run, fix nothing|
|--title=page||Fix only redirects pointing to the given page|