options: Remove a bunch of useless:

chrome/browser/resources/options/manage_profile_overlay.js

Index: chrome/browser/resources/options/manage_profile_overlay.js
diff --git a/chrome/browser/resources/options/manage_profile_overlay.js b/chrome/browser/resources/options/manage_profile_overlay.js
index 723d6cd1cc8d7d3f5a6315ebff7abf1b5d6df3b6..e73fcde6e6e5b67f1ca890966aea8860c76fd3bd 100644
--- a/chrome/browser/resources/options/manage_profile_overlay.js
+++ b/chrome/browser/resources/options/manage_profile_overlay.js
@@ -41,9 +41,7 @@ cr.define('options', function() {
     // The currently selected icon in the icon grid.
     iconGridSelectedURL_: null,
 
-    /**
-     * Initialize the page.
-     */
+    /** @override */
     initializePage: function() {
       // Call base class implementation to start preference initialization.
       OptionsPage.prototype.initializePage.call(this);
@@ -89,7 +87,7 @@ cr.define('options', function() {
         OptionsPage.closeOverlay();
         chrome.send('deleteProfile',
                     [BrowserOptions.getCurrentProfile().filePath]);
-      }
+      };
 
       $('create-profile-managed-signed-in-learn-more-link').onclick =
           function(event) {