Translations:Manual:FixDoubleRedirects.php/2/en

$file file is a maintenance script located in the maintenance directory that can be used to fix double redirects.