DEPRECATED MediaWiki Extension UserAdmin

UserAdmin is a MediaWiki extension which allows administrators to add and delete users, change user passwords, edit user details, edit...