DevTools: roll closure compiler to 20161201.

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 601 matching lines @@
 /** @type {Object.<string, !Object.<string, string>>} */
 CodeMirror.keyMap;
 
 /** @type {{scrollLeft: number, scrollTop: number}} */
 CodeMirror.doc;
 
 /** @type {boolean} */
 window.dispatchStandaloneTestRunnerMessages;
 
 /**
- * @param {*} obj
- * @return {boolean}
- */
-ArrayBuffer.isView = function(obj) {};
-
-/**
  * @param {Array.<Object>} keyframes
  * @param {number|Object} timing
  * @return {Object}
  */
 Element.prototype.animate = function(keyframes, timing) {};
 
 /**
  * @override
  * @param {string} type
  * @param {(!EventListener|!function (!Event): (boolean|undefined)|null)} listener
@@ skipping 209 matching lines @@
 var Terminal = {};
 var TestRunner = {};
 var TextEditor = {};
 var Timeline = {};
 var TimelineModel = {};
 var ToolboxBootstrap = {};
 var UI = {};
 var UtilitySharedWorker = {};
 var WorkerService = {};
 var Workspace = {};