{
    "intelephense.environment.includePaths": [
        "/srv/moodle4/moodle"
    ],
    "intelephense.diagnostics.undefinedProperties": false,
    "spellright.language": [
        "en"
    ],
    "spellright.documentTypes": [
        "markdown",
        "latex",
        "plaintext"
    ]
}