Remove deprcated/removed extension that has no effect

AB-xdev · AB-xdev · commit a9c51271a67d · 2026-03-25T10:59:57.000+01:00
"Calling instrumentationTools() is no longer necessary" https://github.com/JetBrains/intellij-platform-gradle-plugin/blob/759b213778a4f9ac37462b35d9686b4a02bbfb17/src/main/kotlin/org/jetbrains/intellij/platform/gradle/extensions/IntelliJPlatformDependenciesExtension.kt#L2652
diff --git a/build.gradle b/build.gradle
@@ -54,7 +54,6 @@ dependencies {
         plugins(properties("platformPlugins").map { it.split(",").collect { it.trim() }.findAll { !it.empty } })
         pluginVerifier()
         zipSigner()
-        instrumentationTools()
     }
     checkstyle "com.puppycrawl.tools:checkstyle:${checkstyleVersion}"
     pmd "net.sourceforge.pmd:pmd-ant:${pmdVersion}",

Original file line number	Diff line number	Diff line change
`@@ -54,7 +54,6 @@ dependencies {`
`54`	`54`	`plugins(properties("platformPlugins").map { it.split(",").collect { it.trim() }.findAll { !it.empty } })`
`55`	`55`	`pluginVerifier()`
`56`	`56`	`zipSigner()`
`57`		`- instrumentationTools()`
`58`	`57`	`}`
`59`	`58`	`checkstyle "com.puppycrawl.tools:checkstyle:${checkstyleVersion}"`
`60`	`59`	`pmd "net.sourceforge.pmd:pmd-ant:${pmdVersion}",`