Index: Source/devtools/devtools.gypi |
diff --git a/Source/devtools/devtools.gypi b/Source/devtools/devtools.gypi |
index f91192c21bfadb093c51e4122b22f88d4355596f..7beabdcd8c35b8339ad6602c6322aca101d1b524 100644 |
--- a/Source/devtools/devtools.gypi |
+++ b/Source/devtools/devtools.gypi |
@@ -413,6 +413,7 @@ |
'front_end/elements/MetricsSidebarPane.js', |
'front_end/elements/PlatformFontsWidget.js', |
'front_end/elements/PropertiesWidget.js', |
+ 'front_end/elements/PropertyChangeHighlighter.js', |
'front_end/elements/Spectrum.js', |
'front_end/elements/StylesPopoverHelper.js', |
'front_end/elements/StylesSectionModel.js', |