jenkinsci/jenkins — pull request #1048 by iplaman (2013-12-07 05:55:37+00:00)
Title: [FIXED JENKINS-20219] Filter for installed plugins

Added filter support for installed tab of plugin manager