diff --git a/src/freenet/pluginmanager/PluginManager.java b/src/freenet/pluginmanager/PluginManager.java index 7f09125ba8..4a36e821f1 100644 --- a/src/freenet/pluginmanager/PluginManager.java +++ b/src/freenet/pluginmanager/PluginManager.java @@ -322,11 +322,33 @@ public PluginInfoWrapper startPluginOfficial(final String pluginname, boolean st return startPluginOfficial(pluginname, store, officialPlugins.get(pluginname)); } + /** + * Use {@link #startPluginOfficial(String, boolean)}. + * + * @param force This parameter is ignored. + * @param forceHTTPS This parameter is ignored. + */ + @Deprecated + public PluginInfoWrapper startPluginOfficial(final String pluginname, boolean store, boolean force, boolean forceHTTPS) { + return startPluginOfficial(pluginname, store); + } + public PluginInfoWrapper startPluginOfficial(final String pluginname, boolean store, OfficialPluginDescription desc) { return realStartPlugin(new PluginDownLoaderOfficialFreenet(client, node, false), pluginname, store, desc.alwaysFetchLatestVersion); } + /** + * Use {@link #startPluginOfficial(String, boolean, OfficialPluginDescription)}. + * + * @param force This parameter is ignored. + * @param forceHTTPS This parameter is ignored. + */ + @Deprecated + public PluginInfoWrapper startPluginOfficial(final String pluginname, boolean store, OfficialPluginDescription officialPluginDescription, boolean force, boolean forceHTTPS) { + return startPluginOfficial(pluginname, store, officialPluginDescription); + } + public PluginInfoWrapper startPluginFile(final String filename, boolean store) { return realStartPlugin(new PluginDownLoaderFile(), filename, store, false); }