mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-13 06:07:04 +07:00
1663a7df90
Moved to PluginXmlDomInspection. GitOrigin-RevId: 5c4fc4ff0f807d7c1d6006ebed507ae3e0297c60
21 lines
800 B
XML
21 lines
800 B
XML
<idea-plugin>
|
|
<project-components>
|
|
<component>
|
|
<warning descr="Redundant tag 'interface-class'"><interface-class>java.lang.String</interface-class></warning>
|
|
<implementation-class>java.lang.String</implementation-class>
|
|
</component>
|
|
|
|
<component>
|
|
<interface-class>java.lang.Number</interface-class>
|
|
<implementation-class>java.lang.Double</implementation-class>
|
|
<headless-implementation-class>java.lang.String</headless-implementation-class>
|
|
</component>
|
|
|
|
<component>
|
|
<warning descr="Redundant tag 'interface-class'"><interface-class>java.lang.Boolean</interface-class></warning>
|
|
<implementation-class>java.lang.Boolean</implementation-class>
|
|
<headless-implementation-class/>
|
|
</component>
|
|
|
|
</project-components>
|
|
</idea-plugin> |