To install the UserAdmin extension, put the following line in LocalSettings.php:
require_once( "/extensions/UserAdmin/UserAdmin.php" );