mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
7 lines
236 B
HTML
7 lines
236 B
HTML
<html>
|
|
<body>
|
|
Reports a deprecated property in a JSON file.<br>
|
|
Note that deprecation mechanism is not defined in the JSON Schema specification yet,
|
|
and this inspection uses a non-standard extension 'deprecationMessage'.
|
|
</body>
|
|
</html> |