| Index: third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js b/third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js
|
| index a98a6bdbeb2108c8a2e6c1ba092564b68c7ba93d..7380c2ed264c3362de9e6de67934fe428288e783 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js
|
| @@ -30,6 +30,7 @@
|
| */
|
|
|
| WebInspector.highlightedSearchResultClassName = "highlighted-search-result";
|
| +WebInspector.highlightedCurrentSearchResultClassName = "current-search-result";
|
|
|
| /**
|
| * @param {!Element} element
|
|
|