115116117118119120121122123124125
for (PluginManager.Module pluginModule : PluginManager.getLoadedModules()) { Plugin info = pluginModule.instance().getClass().getAnnotation(Plugin.class); if (info == null) continue; if ((info.pluginID().equalsIgnoreCase(arguments[2]) || info.name().equalsIgnoreCase(arguments[2]))) { found = pluginModule.instance(); break; } }
149150151152153154155156157158159
if (plugin.isAvailable()) entry = "\u00A7a"; Plugin info = plugin.getClass().getAnnotation(Plugin.class); if (info != null) { entry += info.pluginID(); if (!info.version().isEmpty()) entry += " (" + info.version() + ")"; } else entry += "???";