WebAdmin: Improved plugin management UI:
* the correct project names are now shown for any kind of plugin * additional meta-data about plugins is shown * if the web server doesn't have write access to the plugins directory, the install/uninstall commands are disabled.
Authored by: cmlenz 2006-01-10
Parent: [r2749]
Child: [r2751]