DevTools: roll closure compiler to 20161201.

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

 // Copyright 2014 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 /* eslint-disable indent */
 (function(window) {
 
   // DevToolsAPI ----------------------------------------------------------------
 
   /**
    * @unrestricted
@@ skipping 583 matching lines @@
 
     /**
      * @override
      * @param {string} shortcuts
      */
     setWhitelistedShortcuts(shortcuts) {
       DevToolsAPI.sendMessageToEmbedder('setWhitelistedShortcuts', [shortcuts], null);
     }
 
     /**
+     * @override
      * @param {!Array<string>} certChain
      */
     showCertificateViewer(certChain) {
       DevToolsAPI.sendMessageToEmbedder('showCertificateViewer', [JSON.stringify(certChain)], null);
     }
 
     /**
      * @override
      * @return {boolean}
      */
@@ skipping 617 matching lines @@
      * @return {boolean}
      */
     DOMTokenList.prototype.toggle = function(token, force) {
       if (arguments.length === 1)
         force = !this.contains(token);
       return this.__originalDOMTokenListToggle(token, !!force);
     };
   }
 
 })(window);