[devkit] DOM: stub <idea-plugin@implementation-detail>

GitOrigin-RevId: 1a3720c91581b0e2ddd7028d6d49c997338e0af3

plugins/devkit/devkit-core/resources/intellij.devkit.core.xml

@@ -37,7 +37,7 @@
 
     <dom.fileMetaData implementation="org.jetbrains.idea.devkit.dom.impl.PluginDescriptorDomFileDescription"
                       rootTagName="idea-plugin"
-                      stubVersion="16"/>
+                      stubVersion="17"/>
     <dom.extender domClass="org.jetbrains.idea.devkit.dom.Extensions"
                   extenderClass="org.jetbrains.idea.devkit.dom.impl.ExtensionsDomExtender"/>
     <dom.extender domClass="org.jetbrains.idea.devkit.dom.Action"

plugins/devkit/devkit-core/src/dom/IdeaPlugin.java

@@ -67,6 +67,7 @@ public interface IdeaPlugin extends DomElement {
 
   @NotNull GenericAttributeValue<Boolean> getAllowBundledUpdate();
 
+  @Stubbed
   @NotNull GenericAttributeValue<Boolean> getImplementationDetail();
 
   @NotNull GenericAttributeValue<Boolean> getRequireRestart();

plugins/devkit/devkit-java-tests/testData/pluginXmlDomStubs/pluginXmlStubs.xml

@@ -3,7 +3,7 @@
 <!-- Test skipping processing directive and comments before root tag: -->
 <!-- Comment with angle bracket <test> -->
 <!-- Regular comment -->
-<idea-plugin package="idea.plugin.package">
+<idea-plugin package="idea.plugin.package" implementation-detail="true">
   <id>com.intellij.myPlugin</id>
   <name>pluginName</name>
 

plugins/devkit/devkit-java-tests/testSrc/org/jetbrains/idea/devkit/codeInsight/PluginXmlDomStubsTest.java

@@ -1,4 +1,4 @@
-// Copyright 2000-2022 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
+// Copyright 2000-2024 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
 package org.jetbrains.idea.devkit.codeInsight;
 
 import com.intellij.openapi.application.ApplicationManager;
@@ -35,6 +35,7 @@ public class PluginXmlDomStubsTest extends DomStubTest {
                     File:idea-plugin
                       Element:idea-plugin
                         Attribute:package:idea.plugin.package
+                        Attribute:implementation-detail:true
                         Element:id:com.intellij.myPlugin
                         Element:name:pluginName
                         Element:depends:anotherPlugin