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/tools

Former IRIFrühere IRI: https://xapi.elearn.rwth-aachen.de/definitions/ide/extensions/context/tools

JSONEdit on GitHubAuf GitHub bearbeiten

LanguagesSprachen

LanguageSpracheNameDescriptionBeschreibung
de-DEToolsEine Liste mit IDE Tools. Muss ein String Array sein.
en-UStoolsA list of IDE tools. Must be a string array.

HistoryHistorie

DateDatumCommit messageCommit-NachrichtAuthorAutorVersion
2026-11-09Add former IRIs and rebase internal referencesSergej Görzena78124b
2026-11-09Normalize JSON formatting of definitionsSergej Görzenb3c380f
2023-04-15renamed IDE defintionsSergej Görzen0bf55e5

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"
    ]
}