Searched refs:extensionVersion (Results 1 – 1 of 1) sorted by relevance
89 final int extensionVersion = ExtensionsUtil.getExtensionVersion(); in addDisplayFeaturesIfPresent() local91 "[Extensions]" + extensionVersion); in addDisplayFeaturesIfPresent()