1.1.3dev: //Installed Plugins// is not visible when there are no plugins installed. Refs #11548.
1.1.3dev: //Installed Plugins// is not visible when there are no plugins installed. Refs #11548.

pkdevbox/trac,pkdevbox/trac,pkdevbox/trac,pkdevbox/trac