@(collaborators: List[(gitbucket.core.model.Collaborator, Boolean)], isGroupRepository: Boolean, repository: gitbucket.core.service.RepositoryService.RepositoryInfo)(implicit context: gitbucket.core.controller.Context) @import gitbucket.core.view.helpers @import gitbucket.core.model.Role @gitbucket.core.html.main("Settings", Some(repository)){ @gitbucket.core.html.menu("settings", repository){ @gitbucket.core.settings.html.menu("collaborators", repository){
} } }