public class ExtensionManager extends Object
Modifier and Type | Method and Description |
---|---|
static ExtensionManager |
getInstance() |
String |
getLoadPath(String name) |
String |
getVersion(String name) |
boolean |
install(String name,
String url,
String version) |
boolean |
isInstalled(String name) |
boolean |
isOutOfDate(String name,
String version) |
public static ExtensionManager getInstance()
public boolean isInstalled(String name)