class type wiki_rights = object..end
method can_create_wiki : unit rights_aux
method can_admin_wiki : wiki rights_aux
method can_delete_wiki : wiki rights_aux
method can_set_wiki_permissions : wiki rights_aux
method can_create_wikiboxes : wiki rights_aux
method can_create_subwikiboxes : wiki rights_aux
method can_create_wikicss : wiki rights_aux
method can_create_wikipages : wiki rights_aux
method can_delete_wikiboxes : wiki rights_aux
method can_view_static_files : wiki rights_aux
method can_upload_files : wiki rights_aux
method can_edit_metadata : wiki rights_aux
method can_admin_wikibox : wikibox rights_aux
method can_set_wikibox_specific_permissions : wikibox rights_aux
method can_write_wikibox : wikibox rights_aux
method can_read_wikibox : wikibox rights_aux
method can_view_src : wikibox rights_aux
method can_view_history : wikibox rights_aux
method can_view_oldversions : wikibox rights_aux
method can_view_oldversions_src : wikibox rights_aux
method can_create_wikipagecss : wikipage rights_aux
method can_admin_wikipage : wikipage rights_aux