Commits

Gary Kramlich committed 75fc6b7

allow TRAC_ADMIN's to edit our settings even if the WebUI isn't loaded which gives us our permissions

Comments (0)

Files changed (1)

trac/gtkdoc/tracgtkdoc/admin.py

 
     # IAdminPanelProvider
     def get_admin_panels(self, req):
-        if req.perm.has_permission('GTKDOC_ADMIN'):
+        if req.perm.has_permission('GTKDOC_ADMIN') or req.perm.has_permission('TRAC_ADMIN'):
             yield('general', 'General', 'gtkdoc', 'GtkDoc')
 
     def render_admin_panel(self, req, category, page, path_info):