Add plugins information to script/about (#3387).
Authored by: jplang 2009-05-25
Parent: [r2765]
Child: [r2767]