2023-09-01 12:13:56 +02:00
|
|
|
<details class="language-info">
|
2024-03-10 20:21:01 +01:00
|
|
|
<summary markdown="span">Language Info for {{include.name}}
|
|
|
|
</summary>
|
|
|
|
|
|
|
|
<div class="card">
|
|
|
|
<ul class="list-group list-group-flush">
|
|
|
|
{% if include.since %}<li class="list-group-item">Since PMD {{include.since}}</li>{% endif %}
|
|
|
|
<li class="list-group-item">Implementation: {% jdoc include.implementation %}</li>
|
|
|
|
<li class="list-group-item">Id: {{include.id}}</li>
|
|
|
|
<li class="list-group-item">PMD: {% if include.supports_pmd %}✔️{% else %}❌{% endif %}</li>
|
|
|
|
<li class="list-group-item">CPD: {% if include.supports_cpd %}✔️{% else %}❌{% endif %}</li>
|
|
|
|
</ul>
|
|
|
|
</div>
|
2023-09-01 09:41:46 +02:00
|
|
|
</details>
|