Deprecate lint.extendIgnore server setting #14665
Description
Found in #14642 (reply in thread) (scenario 4)
{{ message }}
Deprecate
lint.extendIgnore server setting #14665Found in #14642 (reply in thread) (scenario 4)