username changes to the new one, yet the logged-in name that appears in MediaWiki does not change. Is $user->logout() not enough to actually logout the user and clear the session? Any help is appreciated. Thanks, Ben