| // Copyright 2023 The Chromium Authors | |
| // Use of this source code is governed by a BSD-style license that can be | |
| // found in the LICENSE file. | |
| import './HighlightElement.js'; | |
| import * as HighlightManager from './HighlightManager.js'; | |
| export { | |
| type HighlightChange, | |
| highlightedCurrentSearchResultClassName, | |
| highlightedSearchResultClassName, | |
| highlightRangesWithStyleClass, | |
| revertDomChanges | |
| } from './MarkupHighlight.js'; | |
| export {HighlightManager}; |