id summary reporter owner description type status priority component severity resolution keywords cc release 7397 [Patch] Restrict view of developer page by adding a permission Steven R. Loomis anonymous "patch to add a {{{DEVELOPER_VIEW}}} permission. The reason is, 'Developer Tools' is confusing to users, as it has nothing to do with our site. So I hide it from non-admins. " enhancement closed normal TracDeveloperPlugin normal fixed Steffen Hoffmann 0.12