[Devtools] Cleanup devtools.js and typecast for jsdoc

third_party/WebKit/Source/devtools/front_end/externs.js

 /*
  * Copyright (C) 2011 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 768 matching lines @@
     /** @type {(string|!Array<!Gonzales.Node>)} */
     this.content;
 };
 
 /**
  * @type {string}
  * @see http://heycam.github.io/webidl/#es-DOMException-prototype-object
  * TODO(jsbell): DOMException should be a subclass of Error.
  */
 DOMException.prototype.message;
+/** @type {number} */
+DOMException.ABORT_ERR;
 
 /**
  * @constructor
  * @param {!Object} params
  */
 var Terminal = function(params) { };
 
 Terminal.prototype = {
     fit: function() { },
     linkify: function() { },
     /** @param {!Element} element */
     open: function(element) { },
     /** @param {string} eventName * @param {!Function} handler */
     on: function(eventName, handler) { }
 };