deprecatedRuleOption
open fun deprecatedRuleOption(database: DatabaseContext, ruleId: QualifiedRuleId, optionName: String, deprecation: RuleOptionDeprecation)
Signals that user configuration explicitly mentions a deprecated rule option.