Translations:Manual:FixDoubleRedirects.php/3/en

This script was introduced in MediaWiki 1.18 (r81408) and is written for that version. For a version that runs on older MediaWiki versions (tested on 1.16), see [$nethackwiki here].