Index: third_party/WebKit/Source/devtools/front_end/emulation/InspectedPagePlaceholder.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/emulation/InspectedPagePlaceholder.js b/third_party/WebKit/Source/devtools/front_end/emulation/InspectedPagePlaceholder.js |
index 6b7c5e11d0feae9fd1fa94c3e6b44970f3d51d82..e9dcab2d6f871e7365717cfe1dc18ac981011445 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/emulation/InspectedPagePlaceholder.js |
+++ b/third_party/WebKit/Source/devtools/front_end/emulation/InspectedPagePlaceholder.js |
@@ -15,8 +15,9 @@ WebInspector.InspectedPagePlaceholder = function() |
this.restoreMinimumSizeAndMargins(); |
}; |
+/** @enum {symbol} */ |
WebInspector.InspectedPagePlaceholder.Events = { |
- Update: "Update" |
+ Update: Symbol("Update") |
}; |
WebInspector.InspectedPagePlaceholder.MarginValue = 3; |