user_id = current_user.get_id()
if user_id is not None:
identity.provides.add(UserNeed(user_id))
- if current_user.user_name in ['Philipp', 'Johndoe']: # TODO: replace with MediaWiki user groups
+ if wradmin.model.meta.Session.query(wradmin.model.MwUserGroups).get((user_id, 'sysop')) is not None:
identity.provides.add(RoleNeed('admin'))