Translations:Manual:FixDoubleRedirects.php/2/en

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