Editing File: /usr/share/nodejs/@types/codemirror/addon/lint/json-lint.d.ts