jenkinsci/jenkins — pull request #370 by imod (2012-02-09 17:50:28+00:00)
Title: Hide Empty Tabs (Views) in the GUI

this filters views a user does not have permission to see a job within and does not have configure permissions either.

fixes https://issues.jenkins-ci.org/browse/JENKINS-3681