retry r71405:

chrome/browser/resources/options/options_page.js

 // Copyright (c) 2010 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() {
   /////////////////////////////////////////////////////////////////////////////
   // OptionsPage class:
 
   /**
    * Base class for options page.
@@ skipping 481 matching lines @@
             var containerId = 'subpage-sheet-container-' + nestingLevel;
             $(containerId).classList.remove('hidden');
           }
 
           // The managed prefs banner is global, so after any visibility change
           // update it based on the topmost page, not necessarily this page.
           // (e.g., if an ancestor is made visible after a child).
           OptionsPage.updateManagedBannerVisibility();
 
           // Recent webkit change no longer allows url change from "chrome://".
-          window.history.pushState({pageName: this.name}, this.title);
+          window.history.pushState({pageName: this.name}, this.title,
+                                   '/' + this.name);
         }
         if (this.tab) {
           this.tab.classList.add('navbar-item-selected');
         }
       } else {
         this.pageDiv.classList.add('hidden');
         if (this.isOverlay) {
           $('overlay').classList.add('hidden');
         } else if (this.parentPage) {
           var nestingLevel = this.nestingLevel;
@@ skipping 62 matching lines @@
       OptionsPage.showOverlay(hash);
     },
   };
 
   // Export
   return {
     OptionsPage: OptionsPage
   };
 
 });