| 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;
|
|
|