Thread:Project:Support desk/Extention for Changing / resetting new password for other users/reply

I tried to follow: http://www.mediawiki.org/wiki/Extension:Password_Reset#Installation But I can not download the Special:ExtensionDistributor/PasswordReset: file. It doen not exist