Thread:Extension talk:Renameuser/Old Version

Where can I get an old Version for Mediawiki 1.17? I looked up the Discussion Archive but only found a dead link.