6031b7cb60
This change: - Adds param to plugin_manager::get_plugins() to permit return of plugininfo for deprecated/deleted plugins, defaulting to false for b/c. - ensures plugininfo represents the deprecation state, via: -- base::is_deprecated() and -- base::is_deleted() - ensures plugin_manager supports deprecated/deleted plugins in the following APIs: -- plugin_manager::get_present_plugins() -- plugin_manager::get_installed_plugins() -- plugin_manager::get_plugin_info() -- plugin_manager::get_plugintype_root() -- plugin_manager::can_uninstall_plugin() -- plugin_manager::get_uninstall_url() The above changes facilitate listing/reporting on deprecated or deleted plugins in install, upgrade or site admin views.