DevTools: Turn *Model events into symbols

third_party/WebKit/Source/devtools/front_end/sdk/TargetManager.js

Index: third_party/WebKit/Source/devtools/front_end/sdk/TargetManager.js
diff --git a/third_party/WebKit/Source/devtools/front_end/sdk/TargetManager.js b/third_party/WebKit/Source/devtools/front_end/sdk/TargetManager.js
index 39f1e99f926e56e1a6d6ab6ff8e3fec33737aa28..b816983cfb5cb599025c47b20ba6fd7a26216fc7 100644
--- a/third_party/WebKit/Source/devtools/front_end/sdk/TargetManager.js
+++ b/third_party/WebKit/Source/devtools/front_end/sdk/TargetManager.js
@@ -262,7 +262,7 @@ WebInspector.TargetManager.prototype = {
             for (var i = 0; i < listeners.length; ++i) {
                 var model = target.model(listeners[i].modelClass);
                 if (model)
-                    model.addEventListener(pair[0], listeners[i].listener, listeners[i].thisObject);
+                    model.addEventListener(/** @type {symbol} */ (pair[0]), listeners[i].listener, listeners[i].thisObject);
             }
         }
 
@@ -298,7 +298,7 @@ WebInspector.TargetManager.prototype = {
             for (var i = 0; i < listeners.length; ++i) {
                 var model = target.model(listeners[i].modelClass);
                 if (model)
-                    model.removeEventListener(pair[0], listeners[i].listener, listeners[i].thisObject);
+                    model.removeEventListener(/** @type {symbol} */ (pair[0]), listeners[i].listener, listeners[i].thisObject);
             }
         }
     },