void (DomElement element, @InspectionMessage String message, DomElementAnnotationHolder holder, boolean highlightWholeElement) { doHighlightDeprecatedElement(element, message, holder, false, highlightWholeElement, true); }