toolsTools Extensions
A list of IDE tools. Must be a string array.Eine Liste mit IDE Tools. Muss ein String Array sein.
https://omilaxr-ecosystem.github.io/xapi/definitions/ide/extensions/context/toolsFormer IRIFrühere IRI: https://xapi.elearn.rwth-aachen.de/definitions/ide/extensions/context/tools
LanguagesSprachen
| LanguageSprache | Name | DescriptionBeschreibung |
|---|---|---|
| de-DE | Tools | Eine Liste mit IDE Tools. Muss ein String Array sein. |
| en-US | tools | A list of IDE tools. Must be a string array. |
HistoryHistorie
| DateDatum | Commit messageCommit-Nachricht | AuthorAutor | Version |
|---|---|---|---|
| 2026-11-09 | Add former IRIs and rebase internal references | Sergej Görzen | a78124b |
| 2026-11-09 | Normalize JSON formatting of definitions | Sergej Görzen | b3c380f |
| 2023-04-15 | renamed IDE defintions | Sergej Görzen | 0bf55e5 |
Raw JSONRohes JSON
definitions/ide/extensions/context/tools.json
{
"name": {
"en-US": "tools",
"de-DE": "Tools"
},
"description": {
"en-US": "A list of IDE tools. Must be a string array.",
"de-DE": "Eine Liste mit IDE Tools. Muss ein String Array sein."
},
"exactMatch": [
"https://xapi.elearn.rwth-aachen.de/definitions/ide/extensions/context/tools"
]
}