Compile chrome://settings, part 9: yet another final battle

chrome/browser/resources/options/reset_profile_settings_overlay.js

 // Copyright 2013 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.
 
 cr.define('options', function() {
   var Page = cr.ui.pageManager.Page;
 
   var AutomaticSettingsResetBanner = options.AutomaticSettingsResetBanner;
   var ResetProfileSettingsBanner = options.ResetProfileSettingsBanner;
 
@@ skipping 26 matching lines @@
         chrome.send('performResetProfileSettings',
                     [$('send-settings').checked]);
       };
       $('expand-feedback').onclick = function(e) {
         var feedbackTemplate = $('feedback-template');
         feedbackTemplate.hidden = !feedbackTemplate.hidden;
         e.preventDefault();
       };
     },
 
-    /** @override */
+    /**
+     * @override
+     * @suppress {checkTypes}
+     * TODO(vitalyp): remove the suppression. See the explanation in
+     * chrome/browser/resources/options/automatic_settings_reset_banner.js.
+     */
     didShowPage: function() {
       ResetProfileSettingsBanner.dismiss();
       chrome.send('onShowResetProfileDialog');
     },
 
     /** @override */
     didClosePage: function() {
       chrome.send('onHideResetProfileDialog');
     },
   };
 
   /**
    * Enables/disables UI elements after/while Chrome is performing a reset.
    * @param {boolean} state If true, UI elements are disabled.
    */
   ResetProfileSettingsOverlay.setResettingState = function(state) {
     $('reset-profile-settings-throbber').style.visibility =
         state ? 'visible' : 'hidden';
     $('reset-profile-settings-dismiss').disabled = state;
     $('reset-profile-settings-commit').disabled = state;
   };
 
   /**
    * Chrome callback to notify ResetProfileSettingsOverlay that the reset
    * operation has terminated.
+   * @suppress {checkTypes}
+   * TODO(vitalyp): remove the suppression. See the explanation in
+   * chrome/browser/resources/options/automatic_settings_reset_banner.js.
    */
   ResetProfileSettingsOverlay.doneResetting = function() {
     AutomaticSettingsResetBanner.dismiss();
     ResetProfileSettingsOverlay.dismiss();
   };
 
   /**
    * Dismisses the overlay.
    */
   ResetProfileSettingsOverlay.dismiss = function() {
     PageManager.closeOverlay();
     ResetProfileSettingsOverlay.setResettingState(false);
   };
 
   ResetProfileSettingsOverlay.setFeedbackInfo = function(feedbackListData) {
     var input = new JsEvalContext(feedbackListData);
     var output = $('feedback-template');
     jstProcess(input, output);
   };
 
   // Export
   return {
     ResetProfileSettingsOverlay: ResetProfileSettingsOverlay
   };
 });