diff --git a/platform/platform-resources/src/META-INF/PlatformExtensions.xml b/platform/platform-resources/src/META-INF/PlatformExtensions.xml index c68b3b135feb..aea5fd544669 100644 --- a/platform/platform-resources/src/META-INF/PlatformExtensions.xml +++ b/platform/platform-resources/src/META-INF/PlatformExtensions.xml @@ -194,9 +194,13 @@ - - - + @@ -438,10 +444,22 @@ treeRenderer="com.intellij.ide.plugins.PluginManagerConfigurableTreeRenderer" bundle="messages.IdeBundle" key="title.plugins"/> - - - - + + + + + + + @@ -461,7 +479,9 @@ + id="preferences.externalDependencies" + bundle="messages.IdeBundle" + key="configurable.ExternalDependenciesConfigurable.display.name"/> @@ -528,8 +548,15 @@ - - + + + @@ -699,7 +726,8 @@