mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
[json] Specify platform module dependency in plugin.xml
GitOrigin-RevId: 47d488bc34e2467e98cf4db7021e9e6c7c258f67
This commit is contained in:
committed by
intellij-monorepo-bot
parent
7bfdb60f9f
commit
a30592e62a
@@ -12,6 +12,10 @@
|
||||
<a href="https://developer.mozilla.org/en-US/docs/Learn/JavaScript/Objects/JSON">JSON</a> and
|
||||
<a href="https://json-schema.org/overview/what-is-jsonschema">JSON Schema</a> languages
|
||||
]]></description>
|
||||
<dependencies>
|
||||
<plugin id="com.intellij.modules.lang"/>
|
||||
</dependencies>
|
||||
|
||||
|
||||
<!-- Copied from the json.split plugin descriptor, unable to run from sources otherwise -->
|
||||
<extensionPoints>
|
||||
|
||||
Reference in New Issue
Block a user